Type
Main data types representing Types
Constructing and deconstructing types
Common type constructors
Predicates on types
Main data types representing Kinds
Deconstructing Kinds
Common Kinds and SuperKinds
Common Kind type constructors
Predicates on Kinds
Type free variables
Tidying type related things up for printing
Type comparison
Forcing evaluation of types
Other views onto Types
Type representation for the code generator
Main type substitution data types
Manipulating type substitutions
Performing substitution on types
Pretty-printing