Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: claferIG (user goal)
rejecting: claferIG-0.4.2.1, 0.4.2, 0.4.1, 0.4.0, 0.3.10, 0.3.9, 0.3.8, 0.3.7,
0.3.6.1, 0.3.6 (global constraint requires ==0.3.5.1)
trying: claferIG-0.3.5.1
trying: base-4.8.1.0/installed-4f7... (dependency of claferIG-0.3.5.1)
next goal: clafer (dependency of claferIG-0.3.5.1)
rejecting: clafer-0.4.2.1, 0.4.2, 0.4.1, 0.4.0, 0.3.10, 0.3.9, 0.3.8, 0.3.7,
0.3.6.1, 0.3.6 (conflict: claferIG => clafer==0.3.5.1)
trying: clafer-0.3.5.1
next goal: MaybeT (dependency of clafer-0.3.5.1)
rejecting: MaybeT-0.1.2 (conflict: base==4.8.1.0/installed-4f7..., MaybeT =>
base<4.8)
rejecting: MaybeT-0.1.1, 0.1.0 (conflict: clafer => MaybeT>=0.1.2)
Dependency tree exhaustively searched.