1 2 3 4
GHC 7.4 gave us the ability to talk about ConstraintKinds. They stopped crashing the compiler in GHC 7.6. This package provides a vocabulary for working with them.