Resolving dependencies... Configuring mtl-2.2.1... Configuring colour-2.3.4... Building colour-2.3.4... Building mtl-2.2.1... Installed mtl-2.2.1 Configuring primitive-0.6.2.0... Building primitive-0.6.2.0... Configuring random-1.1... Installed colour-2.3.4 Building random-1.1... Configuring stm-2.4.4.1... Installed random-1.1 Building stm-2.4.4.1... Configuring transformers-compat-0.5.1.4... Installed primitive-0.6.2.0 Building transformers-compat-0.5.1.4... Configuring text-1.2.2.2... Installed stm-2.4.4.1 Building text-1.2.2.2... Configuring th-abstraction-0.2.6.0... Installed transformers-compat-0.5.1.4 Building th-abstraction-0.2.6.0... Installed th-abstraction-0.2.6.0 Configuring tf-random-0.5... Building tf-random-0.5... Configuring ansi-terminal-0.7.1.1... Installed tf-random-0.5 Building ansi-terminal-0.7.1.1... Configuring async-2.1.1.1... Installed ansi-terminal-0.7.1.1 Building async-2.1.1.1... Configuring transformers-base-0.4.4... Installed async-2.1.1.1 Building transformers-base-0.4.4... Installed text-1.2.2.2 Configuring QuickCheck-2.10.1... Building QuickCheck-2.10.1... Installed transformers-base-0.4.4 Configuring ansi-wl-pprint-0.6.8.1... Building ansi-wl-pprint-0.6.8.1... Installed ansi-wl-pprint-0.6.8.1 Configuring hashable-1.2.6.1... Building hashable-1.2.6.1... Configuring monad-control-1.0.2.2... Installed hashable-1.2.6.1 Building monad-control-1.0.2.2... Installed monad-control-1.0.2.2 Configuring lifted-base-0.2.3.11... Building lifted-base-0.2.3.11... Configuring constraints-0.9.1... Installed lifted-base-0.2.3.11 Building constraints-0.9.1... Installed QuickCheck-2.10.1 Configuring quickcheck-with-counterexamples-1.0... Building quickcheck-with-counterexamples-1.0... Installed constraints-0.9.1 Configuring lifted-async-0.9.3.2... Building lifted-async-0.9.3.2... Installed quickcheck-with-counterexamples-1.0 Installed lifted-async-0.9.3.2 Downloading quickcheck-state-machine-0.3.0... Configuring quickcheck-state-machine-0.3.0... Building quickcheck-state-machine-0.3.0... Installed quickcheck-state-machine-0.3.0