type class
Short definition from Wiktionary
Noun
- A type system construct that supports ad hoc polymorphism (independent of the type hierarchy), first pioneered in Haskell.
We haven’t written up type class yet: Simple and Standard meanings, examples and a quiz.