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. see http://www.haskell.org/ for more information on haskell.