Resolving dependencies...
Downloading  validity-0.12.0.0
Starting     splitmix-0.1.0.4
Downloaded   validity-0.12.0.0
Starting     validity-0.12.0.0
Building     splitmix-0.1.0.4
Building     validity-0.12.0.0
Completed    splitmix-0.1.0.4
Starting     random-1.2.1
Completed    validity-0.12.0.0
Building     random-1.2.1
Completed    random-1.2.1
Starting     QuickCheck-2.14.2
Building     QuickCheck-2.14.2
Completed    QuickCheck-2.14.2
Downloading  genvalidity-1.0.0.1
Downloaded   genvalidity-1.0.0.1
Starting     genvalidity-1.0.0.1
Building     genvalidity-1.0.0.1
Completed    genvalidity-1.0.0.1