Resolving dependencies... Starting StateVar-1.2.2 Starting assoc-1.1.1 Starting indexed-traversable-0.1.4 Starting primitive-0.9.0.0 Starting tagged-0.8.9 Starting th-abstraction-0.7.1.0 Starting transformers-compat-0.7.2 Starting base-orphans-0.9.3 Starting splitmix-0.1.1 Starting leancheck-1.0.2 Building indexed-traversable-0.1.4 Building primitive-0.9.0.0 Building StateVar-1.2.2 Building assoc-1.1.1 Building tagged-0.8.9 Building th-abstraction-0.7.1.0 Building leancheck-1.0.2 Building splitmix-0.1.1 Building transformers-compat-0.7.2 Building base-orphans-0.9.3 Completed assoc-1.1.1 Completed StateVar-1.2.2 Starting contravariant-1.5.5 Completed splitmix-0.1.1 Starting random-1.3.0 Building contravariant-1.5.5 Building random-1.3.0 Completed tagged-0.8.9 Completed transformers-compat-0.7.2 Completed base-orphans-0.9.3 Starting transformers-base-0.4.6 Starting distributive-0.6.2.1 Building transformers-base-0.4.6 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 transformers-base-0.4.6 Starting monad-control-1.0.3.1 Building monad-control-1.0.3.1 Completed distributive-0.6.2.1 Starting comonad-5.0.9 Building comonad-5.0.9 Completed primitive-0.9.0.0 Starting atomic-primops-0.8.8 Building atomic-primops-0.8.8 Completed leancheck-1.0.2 Completed monad-control-1.0.3.1 Completed atomic-primops-0.8.8 Starting concurrency-1.11.0.3 Building concurrency-1.11.0.3 Completed comonad-5.0.9 Starting bifunctors-5.6.2 Completed random-1.3.0 Building bifunctors-5.6.2 Completed concurrency-1.11.0.3 Completed bifunctors-5.6.2 Starting profunctors-5.6.2 Building profunctors-5.6.2 Completed profunctors-5.6.2 Starting dejafu-2.4.0.7 Building dejafu-2.4.0.7 Completed dejafu-2.4.0.7