Resolving dependencies...
Configuring base-orphans-0.7...
Configuring atomic-primops-0.8.2...
Building base-orphans-0.7...
Building atomic-primops-0.8.2...
Installed atomic-primops-0.8.2
Configuring cabal-doctest-1.0.6...
Installed base-orphans-0.7
Configuring leancheck-0.7.0...
Building cabal-doctest-1.0.6...
Building leancheck-0.7.0...
Installed cabal-doctest-1.0.6
Configuring semigroups-0.18.4...
Building semigroups-0.18.4...
Installed semigroups-0.18.4
Configuring th-abstraction-0.2.6.0...
Building th-abstraction-0.2.6.0...
Installed th-abstraction-0.2.6.0
Configuring transformers-compat-0.6.0.5...
Building transformers-compat-0.6.0.5...
Installed leancheck-0.7.0
Installed transformers-compat-0.6.0.5
Configuring tagged-0.8.5...
Configuring transformers-base-0.4.4...
Building transformers-base-0.4.4...
Building tagged-0.8.5...
Installed transformers-base-0.4.4
Configuring exceptions-0.10.0...
Building exceptions-0.10.0...
Installed tagged-0.8.5
Configuring contravariant-1.4.1...
Building contravariant-1.4.1...
Installed exceptions-0.10.0
Configuring monad-control-1.0.2.3...
Building monad-control-1.0.2.3...
Installed contravariant-1.4.1
Configuring distributive-0.5.3...
Installed monad-control-1.0.2.3
Configuring concurrency-1.4.0.2...
Building distributive-0.5.3...
Building concurrency-1.4.0.2...
Installed distributive-0.5.3
Configuring comonad-5.0.3...
Building comonad-5.0.3...
Installed concurrency-1.4.0.2
Installed comonad-5.0.3
Configuring bifunctors-5.5.2...
Building bifunctors-5.5.2...
Installed bifunctors-5.5.2
Configuring profunctors-5.2.2...
Building profunctors-5.2.2...
Installed profunctors-5.2.2
Configuring dejafu-1.4.0.0...
Building dejafu-1.4.0.0...
Installed dejafu-1.4.0.0