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