extensions such as multi-parameter type classes, local universal and
existential quantification, functional dependencies, scoped type
variables and explicit unboxed types. These are all described in
extensions such as multi-parameter type classes, local universal and
existential quantification, functional dependencies, scoped type
variables and explicit unboxed types. These are all described in