Resolving dependencies... cabal: Could not resolve dependencies: next goal: graph-rewriting-lambdascope (user goal) rejecting: graph-rewriting-lambdascope-0.5.6, 0.5.5 (global constraint requires ==0.5.4) trying: graph-rewriting-lambdascope-0.5.4 next goal: base (dependency of graph-rewriting-lambdascope-0.5.4) rejecting: base-4.7.0.1/installed-e4b... (conflict: graph-rewriting-lambdascope => base>=4 && <4.6) rejecting: base-4.8.0.0, 4.7.0.2, 4.7.0.1, 4.7.0.0, 4.6.0.1, 4.6.0.0, 4.5.1.0, 4.5.0.0, 4.4.1.0, 4.4.0.0, 4.3.1.0, 4.3.0.0, 4.2.0.2, 4.2.0.1, 4.2.0.0, 4.1.0.0, 4.0.0.0, 3.0.3.2, 3.0.3.1 (global constraint requires installed instance) Dependency tree exhaustively searched.