constraints-0.13.4: Constraint manipulation
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.