Resolving dependencies...
Starting     validity-0.12.0.1
Starting     splitmix-0.1.0.4
Building     validity-0.12.0.1
Building     splitmix-0.1.0.4
Completed    validity-0.12.0.1
Completed    splitmix-0.1.0.4
Starting     random-1.2.1.1
Building     random-1.2.1.1
Completed    random-1.2.1.1
Starting     QuickCheck-2.14.2
Building     QuickCheck-2.14.2
Completed    QuickCheck-2.14.2
Downloading  genvalidity-1.1.0.0
Downloaded   genvalidity-1.1.0.0
Starting     genvalidity-1.1.0.0
Building     genvalidity-1.1.0.0
Completed    genvalidity-1.1.0.0