This package provides data types and classes for manipulating the 'ConstraintKinds' exposed by GHC in 7.4.
Contributions and bug reports are welcome!
Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.
-Edward Kmett