Constraint manipulation; profiling libraries

 GHC 7.4 gave us the ability to talk about ConstraintKinds. This package
 provides a vocabulary for working with them.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.