Resolving dependencies...
Configuring base-orphans-0.7...
Configuring FloatingHex-0.4...
Building FloatingHex-0.4...
Building base-orphans-0.7...
Installed FloatingHex-0.4
Configuring cabal-doctest-1.0.6...
Installed base-orphans-0.7
Configuring data-binary-ieee754-0.4.4...
Building cabal-doctest-1.0.6...
Building data-binary-ieee754-0.4.4...
Installed data-binary-ieee754-0.4.4
Configuring fail-4.9.0.0...
Building fail-4.9.0.0...
Installed cabal-doctest-1.0.6
Configuring generic-deriving-1.12.1...
Installed fail-4.9.0.0
Configuring ieee754-0.8.0...
Building generic-deriving-1.12.1...
Building ieee754-0.8.0...
Installed ieee754-0.8.0
Configuring reflection-2.1.3...
Building reflection-2.1.3...
Installed reflection-2.1.3
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.2...
Building transformers-compat-0.6.2...
Installed generic-deriving-1.12.1
Configuring vinyl-0.8.1.1...
Building vinyl-0.8.1.1...
Installed transformers-compat-0.6.2
Configuring void-0.7.2...
Building void-0.7.2...
Installed void-0.7.2
Configuring crackNum-2.0...
Building crackNum-2.0...
Installed vinyl-0.8.1.1
Configuring transformers-base-0.4.5.2...
Building transformers-base-0.4.5.2...
Installed transformers-base-0.4.5.2
Configuring tagged-0.8.5...
Building tagged-0.8.5...
Installed crackNum-2.0
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 sbv-7.7...
Building sbv-7.7...
Installed contravariant-1.4.1
Configuring distributive-0.5.3...
Building distributive-0.5.3...
Installed distributive-0.5.3
Configuring comonad-5.0.3...
Building comonad-5.0.3...
Installed comonad-5.0.3
Configuring bifunctors-5.5.2...
Building bifunctors-5.5.2...
Installed bifunctors-5.5.2
Configuring semigroupoids-5.2.2...
Building semigroupoids-5.2.2...
Installed semigroupoids-5.2.2
Configuring profunctors-5.2.2...
Building profunctors-5.2.2...
Installed profunctors-5.2.2
Configuring union-0.1.1.2...
Building union-0.1.1.2...
Installed union-0.1.1.2
Configuring free-5.0.2...
Building free-5.0.2...
Installed free-5.0.2
Configuring adjunctions-4.4...
Building adjunctions-4.4...
Installed adjunctions-4.4
Configuring kan-extensions-5.1...
Building kan-extensions-5.1...
Installed kan-extensions-5.1
Configuring lens-4.16.1...
Building lens-4.16.1...
Installed sbv-7.7
Installed lens-4.16.1
Downloading verifiable-expressions-0.4.0...
Configuring verifiable-expressions-0.4.0...
Building verifiable-expressions-0.4.0...
Installed verifiable-expressions-0.4.0