Resolving dependencies...
Starting     th-abstraction-0.3.2.0
Starting     sop-core-0.5.0.1
Building     th-abstraction-0.3.2.0
Building     sop-core-0.5.0.1
Completed    th-abstraction-0.3.2.0
Completed    sop-core-0.5.0.1
Starting     generics-sop-0.5.1.0
Building     generics-sop-0.5.1.0
Completed    generics-sop-0.5.1.0
Downloading  exhaustive-1.1.9
Downloaded   exhaustive-1.1.9
Starting     exhaustive-1.1.9
Building     exhaustive-1.1.9
Completed    exhaustive-1.1.9