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.