Resolving dependencies... Configuring cabal-doctest-1.0.6... Configuring base-orphans-0.8... Building cabal-doctest-1.0.6... Building base-orphans-0.8... Installed cabal-doctest-1.0.6 Configuring generics-sop-0.3.2.0... Building generics-sop-0.3.2.0... Installed base-orphans-0.8 Configuring primitive-0.6.4.0... Building primitive-0.6.4.0... Installed primitive-0.6.4.0 Configuring random-1.1... Building random-1.1... Installed random-1.1 Configuring semigroups-0.18.5... Building semigroups-0.18.5... Installed semigroups-0.18.5 Configuring stm-2.5.0.0... Building stm-2.5.0.0... Installed stm-2.5.0.0 Configuring tagged-0.8.6... Building tagged-0.8.6... Installed tagged-0.8.6 Configuring th-abstraction-0.2.8.0... Building th-abstraction-0.2.8.0... Installed th-abstraction-0.2.8.0 Configuring transformers-compat-0.6.2... Building transformers-compat-0.6.2... Installed generics-sop-0.3.2.0 Configuring tf-random-0.5... Building tf-random-0.5... Installed transformers-compat-0.6.2 Configuring StateVar-1.1.1.1... Building StateVar-1.1.1.1... Installed tf-random-0.5 Configuring distributive-0.6... Installed StateVar-1.1.1.1 Configuring QuickCheck-2.11.3... Building QuickCheck-2.11.3... Building distributive-0.6... Installed distributive-0.6 Configuring contravariant-1.5... Building contravariant-1.5... Installed contravariant-1.5 Configuring comonad-5.0.4... Building comonad-5.0.4... Installed comonad-5.0.4 Configuring bifunctors-5.5.3... Installed QuickCheck-2.11.3 Building bifunctors-5.5.3... Installed bifunctors-5.5.3 Downloading StrictCheck-0.2.0... Configuring StrictCheck-0.2.0... Building StrictCheck-0.2.0... Installed StrictCheck-0.2.0