The Glorious Glasgow Haskell Compilation System User's Guide ...

The Glorious Glasgow Haskell
Compilation System User’s Guide,
Version 6.10.4
x
7.5.4.2 A more precise specification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
7.6 Class and instances declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
7.6.1 Class declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
7.6.1.1 Multi-parameter type classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
7.6.1.2 The superclasses of a class declaration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
7.6.1.3 Class method types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
7.6.2 Functional dependencies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
7.6.2.1 Rules for functional dependencies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
7.6.2.2 Background on functional dependencies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
7.6.2.2.1 An attempt to use constructor classes . . . . . . . . . . . . . . . . . . . . . . . . . . 144
7.6.2.2.2 Adding functional dependencies . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
7.6.3 Instance declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
7.6.3.1 Relaxed rules for instance declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
7.6.3.2 Undecidable instances . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
7.6.3.3 Overlapping instances . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
7.6.3.4 Type synonyms in the instance head . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
7.6.4 Overloaded string literals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
7.7 Type families . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
7.7.1 Data families . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
7.7.1.1 Data family declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
7.7.1.1.1 Associated data family declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
7.7.1.2 Data instance declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
7.7.1.2.1 Associated data instances . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
7.7.1.2.2 Scoping of class parameters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
7.7.1.2.3 Type class instances of family instances . . . . . . . . . . . . . . . . . . . . . . . . 153
7.7.1.2.4 Overlap of data instances . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
7.7.1.3 Import and export . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
7.7.1.3.1 Associated families . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
7.7.1.3.2 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
7.7.1.3.3 Instances . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
7.7.2 Synonym families . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
7.7.2.1 Type family declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
7.7.2.1.1 Associated type family declarations . . . . . . . . . . . . . . . . . . . . . . . . . . 155
7.7.2.2 Type instance declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
7.7.2.2.1 Associated type instance declarations . . . . . . . . . . . . . . . . . . . . . . . . . . 156
7.7.2.2.2 Overlap of type synonym instances . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
7.7.2.2.3 Decidability of type synonym instances . . . . . . . . . . . . . . . . . . . . . . . . 156
7.7.2.3 Equality constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
7.8 Other type system extensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157