Version 2 (modified by ross@…, 12 years ago) (diff)

Multi-parameter type classes

See ExtensionDescriptionHowto for information on how to write these extension descriptions. Please add any new extensions to the list of HaskellExtensions.

Brief Explanation


Multiparameter type classes are used twice in the base package of the Haskell hierarchical libraries:

class HasBounds a => IArray a e
class (HasBounds a, Monad m) => MArray a e m

The instances supplied do not overlap.

They also seem to be needed, with OverlappingInstances, for container and monad classes.