Resolving dependencies...
Starting     first-class-families-0.8.0.1
Starting     th-abstraction-0.5.0.0
Starting     syb-0.7.2.3
Building     first-class-families-0.8.0.1
Building     th-abstraction-0.5.0.0
Building     syb-0.7.2.3
Completed    first-class-families-0.8.0.1
Completed    syb-0.7.2.3
Completed    th-abstraction-0.5.0.0
Downloading  type-errors-0.2.0.2
Downloaded   type-errors-0.2.0.2
Starting     type-errors-0.2.0.2
Building     type-errors-0.2.0.2
Completed    type-errors-0.2.0.2