Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: CarneadesDSL (user goal)
rejecting: CarneadesDSL-1.3, 1.2, 1.1.0.1 (global constraint requires ==1.1)
trying: CarneadesDSL-1.1
trying: base-4.8.1.0/installed-4f7... (dependency of CarneadesDSL-1.1)
next goal: fgl (dependency of CarneadesDSL-1.1)
rejecting: fgl-5.5.2.3, 5.5.2.2, 5.5.2.1, 5.5.2.0, 5.5.1.0, 5.5.0.1, 5.5.0.0
(conflict: CarneadesDSL => fgl>=5.4.2.4 && <5.5)
rejecting: fgl-5.4.2.4 (conflict: base==4.8.1.0/installed-4f7..., fgl =>
base<4.8)
rejecting: fgl-5.4.2.3, 5.4.2.2, 5.4.2.0, 5.4.1.1, 5.3 (conflict: CarneadesDSL
=> fgl>=5.4.2.4 && <5.5)
Dependency tree exhaustively searched.