Resolving dependencies...
cabal: Could not resolve dependencies:
next goal: algebra (user goal)
rejecting: algebra-4.2, 4.1, 4.0, 3.1, 3.0.2, 3.0.1.1, 3.0.1, 3.0, 2.1.1.2,
2.1.1.1, 2.1.1, 2.1, 2.0.7, 2.0.6 (global constraint requires ==2.0.5)
trying: algebra-2.0.5
next goal: representable-tries (dependency of algebra-2.0.5)
rejecting: representable-tries-3.0.2, 3.0.1.1, 3.0.1, 3.0, 2.5, 2.4.0.2,
2.4.0.1, 2.4, 2.2.1, 2.2 (conflict: algebra => representable-tries>=2.0.4 &&
<2.1)
trying: representable-tries-2.0.5
next goal: bifunctors (dependency of representable-tries-2.0.5)
rejecting: bifunctors-5, 4.2.1, 4.2, 4.1.1.1, 4.1.1, 4.1.0.1, 4.1, 4.0,
3.2.0.1, 3.2, 3.1, 3.0.4, 3.0.3, 3.0.2, 3.0.1, 3.0 (conflict:
representable-tries => bifunctors>=0.1.1.1 && <0.2)
trying: bifunctors-0.1.3.3
next goal: semigroupoids (dependency of algebra-2.0.5)
rejecting: semigroupoids-5.0.0.1, 5, 4.3, 4.2, 4.0.4, 4.0.3, 4.0.2.1, 4.0.2,
4.0.1, 4.0, 3.1, 3.0.3, 3.0.2, 3.0.1, 3.0.0.2, 3.0.0.1, 3.0, 1.3.4, 1.3.3,
1.3.2.1, 1.3.2, 1.3.1.2, 1.3.1.1, 1.3.1, 1.3 (conflict: algebra =>
semigroupoids>=1.2.6.1 && <1.3)
rejecting: semigroupoids-1.2.6.2, 1.2.6.1 (conflict: bifunctors =>
semigroupoids>=1.3.1.2 && <1.4)
rejecting: semigroupoids-1.2.6, 1.2.5, 1.2.4, 1.2.2.4, 1.2.2.3, 1.2.2.2,
1.2.2.1, 1.2.2, 1.2.1, 1.2.0, 1.1.3, 1.1.2, 1.1.1, 1.1.0, 1.0.0, 4.5
(conflict: algebra => semigroupoids>=1.2.6.1 && <1.3)
Dependency tree exhaustively searched.