Constraint manipulation; documentation

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