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