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