Resolving dependencies...
Starting     th-abstraction-0.6.0.0
Starting     base-orphans-0.9.1
Building     base-orphans-0.9.1
Building     th-abstraction-0.6.0.0
Completed    base-orphans-0.9.1
Starting     some-1.0.6
Building     some-1.0.6
Completed    th-abstraction-0.6.0.0
Completed    some-1.0.6
Downloading  dependent-sum-template-0.2.0.1
Downloaded   dependent-sum-template-0.2.0.1
Starting     dependent-sum-template-0.2.0.1
Building     dependent-sum-template-0.2.0.1
Completed    dependent-sum-template-0.2.0.1