Data.Type.Equality compat package
After uninstalling, run this command to unregister the package from
the ghc package database: ghc-pkg recache