Resolving dependencies... Configuring base-orphans-0.7... Configuring cabal-doctest-1.0.6... Building cabal-doctest-1.0.6... Building base-orphans-0.7... Installed base-orphans-0.7 Configuring generics-sop-0.3.2.0... Installed cabal-doctest-1.0.6 Configuring semigroups-0.18.4... Building generics-sop-0.3.2.0... Building semigroups-0.18.4... Installed semigroups-0.18.4 Configuring th-abstraction-0.2.7.0... Building th-abstraction-0.2.7.0... Installed th-abstraction-0.2.7.0 Configuring transformers-compat-0.6.2... Building transformers-compat-0.6.2... Installed transformers-compat-0.6.2 Configuring tagged-0.8.5... Building tagged-0.8.5... Installed tagged-0.8.5 Configuring contravariant-1.4.1... Building contravariant-1.4.1... 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 generics-sop-0.3.2.0 Installed comonad-5.0.3 Configuring bifunctors-5.5.2... Building bifunctors-5.5.2... Installed bifunctors-5.5.2 Downloading StrictCheck-0.1.0... Configuring StrictCheck-0.1.0... Building StrictCheck-0.1.0... Installed StrictCheck-0.1.0