Resolving dependencies... Configuring cabal-doctest-1.0.6... Configuring base-orphans-0.7... Building cabal-doctest-1.0.6... Building base-orphans-0.7... Installed base-orphans-0.7 Configuring leancheck-0.7.0... Installed cabal-doctest-1.0.6 Configuring primitive-0.6.4.0... Building leancheck-0.7.0... Building primitive-0.6.4.0... Installed leancheck-0.7.0 Configuring semigroups-0.18.4... Installed primitive-0.6.4.0 Configuring th-abstraction-0.2.6.0... Building semigroups-0.18.4... Building th-abstraction-0.2.6.0... Installed semigroups-0.18.4 Configuring transformers-compat-0.6.2... Building transformers-compat-0.6.2... Installed th-abstraction-0.2.6.0 Configuring atomic-primops-0.8.2... Building atomic-primops-0.8.2... Installed transformers-compat-0.6.2 Configuring transformers-base-0.4.5.2... Building transformers-base-0.4.5.2... Installed atomic-primops-0.8.2 Configuring tagged-0.8.5... Building tagged-0.8.5... Installed transformers-base-0.4.5.2 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.5.0.0... Building concurrency-1.5.0.0... Building distributive-0.5.3... Installed distributive-0.5.3 Configuring comonad-5.0.3... Building comonad-5.0.3... Installed concurrency-1.5.0.0 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.8.0.0... Building dejafu-1.8.0.0... Installed dejafu-1.8.0.0