Resolving dependencies...
Starting     cabal-doctest-1.0.8
Starting     base-orphans-0.8.2
Starting     data-lens-light-0.1.2.2
Starting     base-compat-0.11.1
Building     cabal-doctest-1.0.8
Building     base-orphans-0.8.2
Building     data-lens-light-0.1.2.2
Building     base-compat-0.11.1
Completed    data-lens-light-0.1.2.2
Starting     dlist-0.8.0.8
Completed    cabal-doctest-1.0.8
Starting     hashable-1.3.0.0
Building     dlist-0.8.0.8
Building     hashable-1.3.0.0
Completed    base-orphans-0.8.2
Starting     integer-logarithms-1.0.3
Building     integer-logarithms-1.0.3
Completed    dlist-0.8.0.8
Starting     old-locale-1.0.0.7
Building     old-locale-1.0.0.7
Completed    integer-logarithms-1.0.3
Starting     primitive-0.7.1.0
Completed    hashable-1.3.0.0
Starting     semigroups-0.19.1
Building     primitive-0.7.1.0
Completed    old-locale-1.0.0.7
Starting     splitmix-0.1
Building     semigroups-0.19.1
Completed    base-compat-0.11.1
Starting     spoon-0.3.1
Building     splitmix-0.1
Building     spoon-0.3.1
Completed    semigroups-0.19.1
Starting     tagged-0.8.6
Building     tagged-0.8.6
Completed    spoon-0.3.1
Starting     th-abstraction-0.3.2.0
Building     th-abstraction-0.3.2.0
Completed    splitmix-0.1
Starting     transformers-compat-0.6.5
Building     transformers-compat-0.6.5
Completed    tagged-0.8.6
Starting     type-equality-1
Building     type-equality-1
Completed    transformers-compat-0.6.5
Starting     uglymemo-0.1.0.1
Completed    type-equality-1
Starting     time-compat-1.9.3
Building     uglymemo-0.1.0.1
Building     time-compat-1.9.3
Completed    th-abstraction-0.3.2.0
Starting     unordered-containers-0.2.11.0
Building     unordered-containers-0.2.11.0
Completed    uglymemo-0.1.0.1
Starting     case-insensitive-1.2.1.0
Building     case-insensitive-1.2.1.0
Completed    case-insensitive-1.2.1.0
Starting     old-time-1.1.0.3
Completed    time-compat-1.9.3
Starting     random-1.2.0
Building     random-1.2.0
Building     old-time-1.1.0.3
Completed    primitive-0.7.1.0
Starting     distributive-0.6.2
Building     distributive-0.6.2
Completed    old-time-1.1.0.3
Starting     constraints-0.12
Building     constraints-0.12
Completed    unordered-containers-0.2.11.0
Starting     vector-0.12.1.2
Completed    distributive-0.6.2
Starting     scientific-0.3.6.2
Building     vector-0.12.1.2
Completed    random-1.2.0
Starting     comonad-5.0.6
Building     scientific-0.3.6.2
Building     comonad-5.0.6
Completed    scientific-0.3.6.2
Starting     uuid-types-1.0.3
Building     uuid-types-1.0.3
Completed    constraints-0.12
Starting     QuickCheck-2.14.1
Building     QuickCheck-2.14.1
Completed    comonad-5.0.6
Starting     bifunctors-5.5.7
Building     bifunctors-5.5.7
Completed    uuid-types-1.0.3
Completed    bifunctors-5.5.7
Starting     assoc-1.0.1
Building     assoc-1.0.1
Completed    assoc-1.0.1
Starting     these-1.1.1.1
Building     these-1.1.1.1
Completed    these-1.1.1.1
Completed    QuickCheck-2.14.1
Completed    vector-0.12.1.2
Starting     quickcheck-instances-0.3.23
Starting     twee-lib-2.2
Building     twee-lib-2.2
Building     quickcheck-instances-0.3.23
Completed    quickcheck-instances-0.3.23
Completed    twee-lib-2.2
Downloading  quickspec-2.1.4
Downloaded   quickspec-2.1.4
Starting     quickspec-2.1.4
Building     quickspec-2.1.4
Completed    quickspec-2.1.4