Resolving dependencies...
Starting     StateVar-1.2.2
Starting     assoc-1.1.1
Starting     data-default-0.8.0.0
Starting     colour-2.3.6
Starting     indexed-traversable-0.1.4
Starting     os-string-2.0.6
Starting     semigroups-0.20
Starting     splitmix-0.1.0.5
Starting     tagged-0.8.8
Starting     th-abstraction-0.7.0.0
Starting     syb-0.7.2.4
Starting     void-0.7.3
Starting     base-orphans-0.9.2
Starting     prettyprinter-1.7.1
Starting     transformers-compat-0.7.2
Building     assoc-1.1.1
Building     os-string-2.0.6
Building     data-default-0.8.0.0
Building     void-0.7.3
Building     splitmix-0.1.0.5
Building     syb-0.7.2.4
Building     StateVar-1.2.2
Building     colour-2.3.6
Building     prettyprinter-1.7.1
Building     transformers-compat-0.7.2
Building     indexed-traversable-0.1.4
Building     semigroups-0.20
Building     th-abstraction-0.7.0.0
Building     tagged-0.8.8
Building     base-orphans-0.9.2
Completed    assoc-1.1.1
Completed    void-0.7.3
Completed    semigroups-0.20
Completed    StateVar-1.2.2
Starting     contravariant-1.5.5
Completed    splitmix-0.1.0.5
Starting     random-1.2.1.2
Building     contravariant-1.5.5
Building     random-1.2.1.2
Completed    syb-0.7.2.4
Completed    base-orphans-0.9.2
Completed    tagged-0.8.8
Starting     distributive-0.6.2.1
Completed    data-default-0.8.0.0
Starting     data-default-class-0.2.0.0
Completed    transformers-compat-0.7.2
Starting     transformers-base-0.4.6
Building     distributive-0.6.2.1
Building     data-default-class-0.2.0.0
Building     transformers-base-0.4.6
Completed    colour-2.3.6
Starting     ansi-terminal-types-1.1
Building     ansi-terminal-types-1.1
Completed    indexed-traversable-0.1.4
Completed    os-string-2.0.6
Starting     filepath-1.5.3.0
Completed    th-abstraction-0.7.0.0
Building     filepath-1.5.3.0
Completed    contravariant-1.5.5
Completed    prettyprinter-1.7.1
Completed    transformers-base-0.4.6
Completed    data-default-class-0.2.0.0
Completed    distributive-0.6.2.1
Starting     comonad-5.0.8
Completed    ansi-terminal-types-1.1
Starting     ansi-terminal-1.1.1
Building     comonad-5.0.8
Building     ansi-terminal-1.1.1
Completed    random-1.2.1.2
Starting     QuickCheck-2.15.0.1
Completed    ansi-terminal-1.1.1
Starting     prettyprinter-ansi-terminal-1.1.3
Building     QuickCheck-2.15.0.1
Building     prettyprinter-ansi-terminal-1.1.3
Completed    filepath-1.5.3.0
Starting     hashable-1.4.7.0
Building     hashable-1.4.7.0
Completed    comonad-5.0.8
Starting     bifunctors-5.6.2
Building     bifunctors-5.6.2
Completed    prettyprinter-ansi-terminal-1.1.3
Completed    hashable-1.4.7.0
Starting     unordered-containers-0.2.20
Building     unordered-containers-0.2.20
Completed    bifunctors-5.6.2
Starting     profunctors-5.6.2
Completed    QuickCheck-2.15.0.1
Building     profunctors-5.6.2
Completed    unordered-containers-0.2.20
Starting     semigroupoids-6.0.1
Building     semigroupoids-6.0.1
Completed    profunctors-5.6.2
Starting     invariant-0.6.3
Building     invariant-0.6.3
Completed    semigroupoids-6.0.1
Starting     free-5.2
Completed    invariant-0.6.3
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.5
Building     pointed-5.0.5
Completed    pointed-5.0.5
Downloading  logic-TPTP-0.6.0.0
Downloaded   logic-TPTP-0.6.0.0
Starting     logic-TPTP-0.6.0.0
Building     logic-TPTP-0.6.0.0
Completed    logic-TPTP-0.6.0.0