Resolving dependencies...
Configuring base-orphans-0.6...
Configuring atomic-primops-0.8.1.1...
Building atomic-primops-0.8.1.1...
Building base-orphans-0.6...
Installed base-orphans-0.6
Configuring cabal-doctest-1.0.6...
Installed atomic-primops-0.8.1.1
Configuring clock-0.7.2...
Building cabal-doctest-1.0.6...
Building clock-0.7.2...
Installed clock-0.7.2
Configuring colour-2.3.4...
Installed cabal-doctest-1.0.6
Configuring leancheck-0.7.0...
Building colour-2.3.4...
Building leancheck-0.7.0...
Installed colour-2.3.4
Configuring ref-fd-0.4.0.1...
Building ref-fd-0.4.0.1...
Installed ref-fd-0.4.0.1
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 leancheck-0.7.0
Configuring transformers-compat-0.5.1.4...
Building transformers-compat-0.5.1.4...
Installed transformers-compat-0.5.1.4
Configuring unbounded-delays-0.1.1.0...
Building unbounded-delays-0.1.1.0...
Installed th-abstraction-0.2.6.0
Configuring ansi-terminal-0.8.0.1...
Building ansi-terminal-0.8.0.1...
Installed unbounded-delays-0.1.1.0
Configuring transformers-base-0.4.4...
Building transformers-base-0.4.4...
Installed transformers-base-0.4.4
Configuring tagged-0.8.5...
Installed ansi-terminal-0.8.0.1
Configuring exceptions-0.8.3...
Building tagged-0.8.5...
Building exceptions-0.8.3...
Installed tagged-0.8.5
Configuring contravariant-1.4.1...
Installed exceptions-0.8.3
Configuring monad-control-1.0.2.2...
Building contravariant-1.4.1...
Building monad-control-1.0.2.2...
Installed monad-control-1.0.2.2
Configuring ansi-wl-pprint-0.6.8.2...
Building ansi-wl-pprint-0.6.8.2...
Installed contravariant-1.4.1
Configuring distributive-0.5.3...
Installed ansi-wl-pprint-0.6.8.2
Configuring concurrency-1.4.0.0...
Building concurrency-1.4.0.0...
Building distributive-0.5.3...
Installed distributive-0.5.3
Configuring optparse-applicative-0.14.0.0...
Building optparse-applicative-0.14.0.0...
Installed concurrency-1.4.0.0
Configuring comonad-5.0.3...
Installed optparse-applicative-0.14.0.0
Configuring tasty-1.0.1...
Building tasty-1.0.1...
Building comonad-5.0.3...
Installed comonad-5.0.3
Configuring bifunctors-5.5.2...
Building bifunctors-5.5.2...
Installed tasty-1.0.1
Installed bifunctors-5.5.2
Configuring profunctors-5.2.2...
Building profunctors-5.2.2...
Installed profunctors-5.2.2
Configuring dejafu-1.0.0.1...
Building dejafu-1.0.0.1...
Installed dejafu-1.0.0.1
Downloading tasty-dejafu-1.0.1.0...
Configuring tasty-dejafu-1.0.1.0...
Building tasty-dejafu-1.0.1.0...
Installed tasty-dejafu-1.0.1.0