Resolving dependencies... Configuring base-orphans-0.8... Configuring StateVar-1.1.1.0... Building base-orphans-0.8... Building StateVar-1.1.1.0... Installed StateVar-1.1.1.0 Configuring cabal-doctest-1.0.6... Building cabal-doctest-1.0.6... Installed base-orphans-0.8 Configuring leancheck-0.7.0... Building leancheck-0.7.0... Installed cabal-doctest-1.0.6 Configuring primitive-0.6.4.0... Building primitive-0.6.4.0... Installed leancheck-0.7.0 Configuring random-1.1... Building random-1.1... Installed primitive-0.6.4.0 Configuring semigroups-0.18.5... Installed random-1.1 Configuring tagged-0.8.6... Building semigroups-0.18.5... Building tagged-0.8.6... Installed semigroups-0.18.5 Configuring th-abstraction-0.2.8.0... Building th-abstraction-0.2.8.0... Installed tagged-0.8.6 Configuring transformers-compat-0.6.2... Building transformers-compat-0.6.2... Installed th-abstraction-0.2.8.0 Configuring contravariant-1.5... Building contravariant-1.5... Installed transformers-compat-0.6.2 Configuring atomic-primops-0.8.2... Building atomic-primops-0.8.2... Installed atomic-primops-0.8.2 Configuring distributive-0.6... Installed contravariant-1.5 Configuring transformers-base-0.4.5.2... Building transformers-base-0.4.5.2... Building distributive-0.6... Installed transformers-base-0.4.5.2 Configuring exceptions-0.10.0... Building exceptions-0.10.0... Installed distributive-0.6 Configuring monad-control-1.0.2.3... Building monad-control-1.0.2.3... Installed exceptions-0.10.0 Configuring comonad-5.0.4... Installed monad-control-1.0.2.3 Configuring concurrency-1.6.0.0... Building concurrency-1.6.0.0... Building comonad-5.0.4... Installed comonad-5.0.4 Configuring bifunctors-5.5.3... Building bifunctors-5.5.3... Installed concurrency-1.6.0.0 Installed bifunctors-5.5.3 Configuring profunctors-5.3... Building profunctors-5.3... Installed profunctors-5.3 Downloading dejafu-1.11.0.3... Configuring dejafu-1.11.0.3... Building dejafu-1.11.0.3... Installed dejafu-1.11.0.3