tools for writing better Haskell type errors; documentation

 This is a collection of tools for writing better, more ergonomic type
 errors for Haskell libraries. Some of the more interesting features
 are the ability to observe stuckedness and phantomness, as well as
 perform substitutions over types.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.