Resolving dependencies...
Starting     StateVar-1.2.2
Starting     assoc-1.1.1
Starting     base-orphans-0.9.2
Starting     data-default-class-0.1.2.0
Starting     indexed-traversable-0.1.4
Starting     semigroups-0.20
Starting     bytestring-0.12.1.0
Starting     tagged-0.8.8
Starting     th-abstraction-0.7.0.0
Starting     void-0.7.3
Starting     syb-0.7.2.4
Starting     splitmix-0.1.0.5
Starting     transformers-compat-0.7.2
Starting     colour-2.3.6
Building     indexed-traversable-0.1.4
Building     assoc-1.1.1
Building     StateVar-1.2.2
Building     base-orphans-0.9.2
Building     semigroups-0.20
Building     data-default-class-0.1.2.0
Building     void-0.7.3
Building     bytestring-0.12.1.0
Building     th-abstraction-0.7.0.0
Building     tagged-0.8.8
Building     syb-0.7.2.4
Building     transformers-compat-0.7.2
Building     splitmix-0.1.0.5
Building     colour-2.3.6
Completed    void-0.7.3
Completed    data-default-class-0.1.2.0
Completed    semigroups-0.20
Completed    assoc-1.1.1
Completed    StateVar-1.2.2
Starting     contravariant-1.5.5
Completed    splitmix-0.1.0.5
Building     contravariant-1.5.5
Completed    tagged-0.8.8
Completed    syb-0.7.2.4
Completed    base-orphans-0.9.2
Starting     distributive-0.6.2.1
Completed    transformers-compat-0.7.2
Starting     transformers-base-0.4.6
Building     distributive-0.6.2.1
Completed    colour-2.3.6
Starting     ansi-terminal-types-0.11.5
Building     transformers-base-0.4.6
Building     ansi-terminal-types-0.11.5
Completed    indexed-traversable-0.1.4
Completed    th-abstraction-0.7.0.0
Completed    contravariant-1.5.5
Completed    transformers-base-0.4.6
Completed    distributive-0.6.2.1
Starting     comonad-5.0.8
Completed    ansi-terminal-types-0.11.5
Starting     ansi-terminal-1.0.2
Building     comonad-5.0.8
Building     ansi-terminal-1.0.2
Completed    ansi-terminal-1.0.2
Starting     ansi-wl-pprint-0.6.9
Building     ansi-wl-pprint-0.6.9
Completed    comonad-5.0.8
Starting     bifunctors-5.6.2
Building     bifunctors-5.6.2
Completed    ansi-wl-pprint-0.6.9
Completed    bytestring-0.12.1.0
Starting     random-1.2.1.2
Starting     os-string-2.0.6
Starting     binary-0.8.9.2
Building     random-1.2.1.2
Building     os-string-2.0.6
Building     binary-0.8.9.2
Completed    os-string-2.0.6
Starting     filepath-1.5.3.0
Building     filepath-1.5.3.0
Completed    binary-0.8.9.2
Starting     text-2.1.1
Building     text-2.1.1
Completed    bifunctors-5.6.2
Starting     profunctors-5.6.2
Building     profunctors-5.6.2
Completed    random-1.2.1.2
Starting     QuickCheck-2.15.0.1
Building     QuickCheck-2.15.0.1
Completed    filepath-1.5.3.0
Completed    profunctors-5.6.2
Completed    QuickCheck-2.15.0.1
Completed    text-2.1.1
Starting     hashable-1.5.0.0
Building     hashable-1.5.0.0
Completed    hashable-1.5.0.0
Starting     unordered-containers-0.2.20
Building     unordered-containers-0.2.20
Completed    unordered-containers-0.2.20
Starting     invariant-0.6.3
Starting     semigroupoids-6.0.1
Building     invariant-0.6.3
Building     semigroupoids-6.0.1
Completed    invariant-0.6.3
Completed    semigroupoids-6.0.1
Starting     free-5.2
Building     free-5.2
Completed    free-5.2
Starting     adjunctions-4.4.2
Building     adjunctions-4.4.2
Completed    adjunctions-4.4.2
Starting     kan-extensions-5.2.6
Building     kan-extensions-5.2.6
Completed    kan-extensions-5.2.6
Starting     pointed-5.0.4
Building     pointed-5.0.4
Completed    pointed-5.0.4
Downloading  logic-TPTP-0.5.1.0
Downloaded   logic-TPTP-0.5.1.0
Starting     logic-TPTP-0.5.1.0
Building     logic-TPTP-0.5.1.0
Completed    logic-TPTP-0.5.1.0