Multi-parameter type class

From HaskellWiki
Revision as of 16:01, 23 January 2008 by Spl (talk | contribs) (Fix link: type classes)

Jump to: navigation, search


Basically, type classes which can take multiple arguments, such as:

class Foo a b

Without functional dependencies or associated types, these multi-parameter type classes may cause too much ambiguity to pass the type-checker.

Also see

The Haskell' page