Resolving dependencies...
Configuring colour-2.3.4...
Configuring quickcheck-with-counterexamples-1.0...
Building quickcheck-with-counterexamples-1.0...
Building colour-2.3.4...
Installed quickcheck-with-counterexamples-1.0
Configuring th-abstraction-0.2.6.0...
Building th-abstraction-0.2.6.0...
Installed colour-2.3.4
Configuring transformers-compat-0.5.1.4...
Building transformers-compat-0.5.1.4...
Installed th-abstraction-0.2.6.0
Configuring ansi-terminal-0.8...
Building ansi-terminal-0.8...
Installed transformers-compat-0.5.1.4
Configuring transformers-base-0.4.4...
Building transformers-base-0.4.4...
Installed transformers-base-0.4.4
Configuring constraints-0.9.1...
Building constraints-0.9.1...
Installed ansi-terminal-0.8
Configuring monad-control-1.0.2.2...
Building monad-control-1.0.2.2...
Installed monad-control-1.0.2.2
Configuring ansi-wl-pprint-0.6.8.2...
Building ansi-wl-pprint-0.6.8.2...
Installed ansi-wl-pprint-0.6.8.2
Configuring lifted-base-0.2.3.11...
Installed constraints-0.9.1
Building lifted-base-0.2.3.11...
Installed lifted-base-0.2.3.11
Configuring lifted-async-0.9.3.2...
Building lifted-async-0.9.3.2...
Installed lifted-async-0.9.3.2
Downloading quickcheck-state-machine-0.3.1...
Configuring quickcheck-state-machine-0.3.1...
Building quickcheck-state-machine-0.3.1...
Installed quickcheck-state-machine-0.3.1