Resolving dependencies...
Starting     base-orphans-0.9.2
Starting     th-abstraction-0.7.0.0
Starting     tagged-0.8.8
Building     base-orphans-0.9.2
Building     tagged-0.8.8
Building     th-abstraction-0.7.0.0
Completed    tagged-0.8.8
Starting     universe-base-1.1.4
Building     universe-base-1.1.4
Completed    base-orphans-0.9.2
Starting     some-1.0.6
Building     some-1.0.6
Completed    th-abstraction-0.7.0.0
Completed    some-1.0.6
Completed    universe-base-1.1.4
Starting     universe-some-1.2.2
Building     universe-some-1.2.2
Completed    universe-some-1.2.2
Downloading  universe-dependent-sum-1.3.1
Downloaded   universe-dependent-sum-1.3.1
Starting     universe-dependent-sum-1.3.1
Building     universe-dependent-sum-1.3.1
Completed    universe-dependent-sum-1.3.1