Resolving dependencies...
Starting     integer-logarithms-1.0.3.1
Starting     os-string-2.0.2.2
Starting     tagged-0.8.8
Starting     splitmix-0.1.0.5
Building     integer-logarithms-1.0.3.1
Building     os-string-2.0.2.2
Building     tagged-0.8.8
Building     splitmix-0.1.0.5
Completed    integer-logarithms-1.0.3.1
Completed    splitmix-0.1.0.5
Starting     random-1.2.1.2
Building     random-1.2.1.2
Completed    tagged-0.8.8
Starting     universe-base-1.1.4
Building     universe-base-1.1.4
Completed    os-string-2.0.2.2
Starting     filepath-1.5.2.0
Building     filepath-1.5.2.0
Completed    universe-base-1.1.4
Starting     universe-reverse-instances-1.1.2
Building     universe-reverse-instances-1.1.2
Completed    random-1.2.1.2
Starting     QuickCheck-2.15
Completed    universe-reverse-instances-1.1.2
Building     QuickCheck-2.15
Completed    filepath-1.5.2.0
Starting     hashable-1.4.4.0
Building     hashable-1.4.4.0
Completed    hashable-1.4.4.0
Starting     unordered-containers-0.2.20
Building     unordered-containers-0.2.20
Completed    QuickCheck-2.15
Completed    unordered-containers-0.2.20
Downloading  lattices-2.2.1
Downloaded   lattices-2.2.1
Starting     lattices-2.2.1
Building     lattices-2.2.1
Completed    lattices-2.2.1