Resolving dependencies...
Downloading  validity-0.12.1.0
Starting     splitmix-0.1.0.5
Downloaded   validity-0.12.1.0
Starting     validity-0.12.1.0
Building     splitmix-0.1.0.5
Building     validity-0.12.1.0
Completed    validity-0.12.1.0
Completed    splitmix-0.1.0.5
Starting     random-1.2.1.2
Building     random-1.2.1.2
Completed    random-1.2.1.2
Starting     QuickCheck-2.15.0.1
Building     QuickCheck-2.15.0.1
Completed    QuickCheck-2.15.0.1
Downloading  genvalidity-1.1.1.0
Downloaded   genvalidity-1.1.1.0
Starting     genvalidity-1.1.1.0
Building     genvalidity-1.1.1.0
Completed    genvalidity-1.1.1.0