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