Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: integer-gmp (user goal)
rejecting: integer-gmp-1.0.0.1 (only already installed instances can be used)
rejecting: integer-gmp-1.0.0.0, 0.5.1.0 (global constraint requires ==1.0.0.1)
Dependency tree exhaustively searched.