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.

After uninstalling, run this command to unregister the package from
the ghc package database:   ghc-pkg recache