Multi-parameter type class
Categories: Language extensions | Glossary | Stub articles
[edit]
1 About
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.
[edit]