Resolving dependencies... Starting lawful-classes-types-0.1.0.1 Starting colour-2.3.6 Starting tagged-0.8.6.1 Starting splitmix-0.1.0.4 Starting transformers-compat-0.7.2 Building splitmix-0.1.0.4 Building lawful-classes-types-0.1.0.1 Building colour-2.3.6 Building tagged-0.8.6.1 Building transformers-compat-0.7.2 Completed lawful-classes-types-0.1.0.1 Completed splitmix-0.1.0.4 Starting random-1.2.1.1 Building random-1.2.1.1 Completed tagged-0.8.6.1 Completed transformers-compat-0.7.2 Completed colour-2.3.6 Starting ansi-terminal-0.11.4 Building ansi-terminal-0.11.4 Completed ansi-terminal-0.11.4 Starting ansi-wl-pprint-0.6.9 Building ansi-wl-pprint-0.6.9 Completed random-1.2.1.1 Starting QuickCheck-2.14.2 Building QuickCheck-2.14.2 Completed ansi-wl-pprint-0.6.9 Starting optparse-applicative-0.17.0.0 Building optparse-applicative-0.17.0.0 Completed optparse-applicative-0.17.0.0 Starting tasty-1.4.3 Building tasty-1.4.3 Completed QuickCheck-2.14.2 Completed tasty-1.4.3 Starting tasty-quickcheck-0.10.2 Building tasty-quickcheck-0.10.2 Completed tasty-quickcheck-0.10.2 Downloading lawful-classes-quickcheck-0.1.2.0 Downloaded lawful-classes-quickcheck-0.1.2.0 Starting lawful-classes-quickcheck-0.1.2.0 Building lawful-classes-quickcheck-0.1.2.0 Completed lawful-classes-quickcheck-0.1.2.0