Resolving dependencies...
Configuring ghc-tcplugins-extra-0.2...
Configuring monomorphic-0.0.3.3...
Building monomorphic-0.0.3.3...
Building ghc-tcplugins-extra-0.2...
Installed monomorphic-0.0.3.3
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Configuring primitive-0.6.1.0...
Installed ghc-tcplugins-extra-0.2
Building primitive-0.6.1.0...
Configuring presburger-1.3.1...
Installed mtl-2.2.1
Building presburger-1.3.1...
Configuring reflection-2.1.2...
Installed primitive-0.6.1.0
Building reflection-2.1.2...
Configuring safe-0.3.10...
Installed presburger-1.3.1
Building safe-0.3.10...
Configuring semigroups-0.18.2...
Installed safe-0.3.10
Building semigroups-0.18.2...
Configuring syb-0.6...
Installed reflection-2.1.2
Building syb-0.6...
Configuring th-lift-0.7.6...
Installed semigroups-0.18.2
Building th-lift-0.7.6...
Configuring transformers-compat-0.5.1.4...
Installed syb-0.6
Configuring text-1.2.2.1...
Installed th-lift-0.7.6
Building transformers-compat-0.5.1.4...
Building text-1.2.2.1...
Installed transformers-compat-0.5.1.4
Configuring ghc-typelits-natnormalise-0.4.6...
Building ghc-typelits-natnormalise-0.4.6...
Configuring th-expand-syns-0.4.1.0...
Installed ghc-typelits-natnormalise-0.4.6
Building th-expand-syns-0.4.1.0...
Configuring vector-0.11.0.0...
Installed th-expand-syns-0.4.1.0
Building vector-0.11.0.0...
Configuring th-reify-many-0.1.6...
Installed text-1.2.2.1
Building th-reify-many-0.1.6...
Installed th-reify-many-0.1.6
Configuring hashable-1.2.4.0...
Building hashable-1.2.4.0...
Installed hashable-1.2.4.0
Configuring void-0.7.1...
Building void-0.7.1...
Configuring constraints-0.8...
Installed void-0.7.1
Building constraints-0.8...
Installed constraints-0.8
Installed vector-0.11.0.0
Configuring th-lift-instances-0.1.10...
Building th-lift-instances-0.1.10...
Installed th-lift-instances-0.1.10
Configuring th-orphans-0.13.3...
Building th-orphans-0.13.3...
Installed th-orphans-0.13.3
Configuring th-desugar-1.6...
Building th-desugar-1.6...
Installed th-desugar-1.6
Configuring singletons-2.2...
Building singletons-2.2...
Installed singletons-2.2
Configuring equational-reasoning-0.4.1.1...
Building equational-reasoning-0.4.1.1...
Installed equational-reasoning-0.4.1.1
Configuring ghc-typelits-presburger-0.1.1.0...
Building ghc-typelits-presburger-0.1.1.0...
Installed ghc-typelits-presburger-0.1.1.0
Downloading type-natural-0.4.1.1...
Configuring type-natural-0.4.1.1...
Building type-natural-0.4.1.1...
Installed type-natural-0.4.1.1