6.8.1. Multi-parameter type classes¶
-
MultiParamTypeClasses
¶ Implies: ConstrainedClassMethods
Since: 6.8.1 Allow the definition of typeclasses with more than one parameter.
Multi-parameter type classes are permitted, with extension
MultiParamTypeClasses
. For example:
class Collection c a where
union :: c a -> c a -> c a
...etc.