Separate type constructor function.
Produce better error for unification.
Don't print 'Fix'.
Use the inferred type in the error message.
Better pretty printing.
Extract more useful information from the kind checking.
First version of error reporting.
Kind checking for TyArr was broken.
GHC -Wall.
Hlintify.