Resolving dependencies... Configuring mtl-2.2.1... Configuring colour-2.3.3... Building colour-2.3.3... Building mtl-2.2.1... Installed mtl-2.2.1 Configuring random-1.1... Building random-1.1... Configuring primitive-0.6.2.0... Installed colour-2.3.3 Building primitive-0.6.2.0... Configuring stm-2.4.4.1... Installed random-1.1 Building stm-2.4.4.1... Configuring th-abstraction-0.2.6.0... Installed stm-2.4.4.1 Building th-abstraction-0.2.6.0... Configuring text-1.2.2.2... Installed primitive-0.6.2.0 Building text-1.2.2.2... Configuring transformers-compat-0.5.1.4... Installed th-abstraction-0.2.6.0 Building transformers-compat-0.5.1.4... Installed transformers-compat-0.5.1.4 Configuring ansi-terminal-0.7.1.1... 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 tf-random-0.5... Installed async-2.1.1.1 Building tf-random-0.5... Configuring transformers-base-0.4.4... Installed tf-random-0.5 Building transformers-base-0.4.4... Installed text-1.2.2.2 Configuring ansi-wl-pprint-0.6.8.1... Building ansi-wl-pprint-0.6.8.1... Configuring QuickCheck-2.9.2... Installed transformers-base-0.4.4 Building QuickCheck-2.9.2... 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... Configuring constraints-0.9.1... Installed monad-control-1.0.2.2 Building constraints-0.9.1... Installed constraints-0.9.1 Configuring lifted-base-0.2.3.11... Building lifted-base-0.2.3.11... Installed QuickCheck-2.9.2 Configuring quickcheck-with-counterexamples-1.0... Building quickcheck-with-counterexamples-1.0... Installed lifted-base-0.2.3.11 Configuring lifted-async-0.9.3... Building lifted-async-0.9.3... Installed quickcheck-with-counterexamples-1.0 Installed lifted-async-0.9.3 Downloading quickcheck-state-machine-0.2.0... Configuring quickcheck-state-machine-0.2.0... Building quickcheck-state-machine-0.2.0... Installed quickcheck-state-machine-0.2.0