Resolving dependencies... Starting assoc-1.1.1 Starting StateVar-1.2.2 Downloading coercible-subtypes-1 Starting indexed-traversable-0.1.4 Starting base-orphans-0.9.3 Starting th-abstraction-0.7.1.0 Starting tagged-0.8.9 Starting transformers-compat-0.7.2 Downloaded coercible-subtypes-1 Starting coercible-subtypes-1 Building StateVar-1.2.2 Building assoc-1.1.1 Building coercible-subtypes-1 Building indexed-traversable-0.1.4 Building base-orphans-0.9.3 Building th-abstraction-0.7.1.0 Building transformers-compat-0.7.2 Building tagged-0.8.9 Completed assoc-1.1.1 Completed coercible-subtypes-1 Completed StateVar-1.2.2 Starting contravariant-1.5.5 Building contravariant-1.5.5 Completed transformers-compat-0.7.2 Completed tagged-0.8.9 Completed base-orphans-0.9.3 Starting distributive-0.6.2.1 Building distributive-0.6.2.1 Completed indexed-traversable-0.1.4 Completed th-abstraction-0.7.1.0 Completed contravariant-1.5.5 Completed distributive-0.6.2.1 Starting comonad-5.0.9 Building comonad-5.0.9 Completed comonad-5.0.9 Starting bifunctors-5.6.2 Building bifunctors-5.6.2 Completed bifunctors-5.6.2 Starting profunctors-5.6.2 Building profunctors-5.6.2 Completed profunctors-5.6.2 Downloading coercible-subtypes-profunctor-1 Downloaded coercible-subtypes-profunctor-1 Starting coercible-subtypes-profunctor-1 Building coercible-subtypes-profunctor-1 Completed coercible-subtypes-profunctor-1