tools for writing better Haskell type errors; profiling libraries

 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 a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.