This package provides data types and classes for manipulating the
'ConstraintKinds' exposed by GHC in 7.4.