Resolving dependencies...
Starting     ordered-containers-0.2.3
Starting     safe-0.3.21
Starting     th-compat-0.1.5
Starting     transformers-compat-0.7.2
Starting     syb-0.7.2.4
Starting     th-abstraction-0.7.0.0
Starting     void-0.7.3
Building     ordered-containers-0.2.3
Building     safe-0.3.21
Building     th-compat-0.1.5
Building     void-0.7.3
Building     syb-0.7.2.4
Building     transformers-compat-0.7.2
Building     th-abstraction-0.7.0.0
Completed    void-0.7.3
Completed    th-compat-0.1.5
Completed    safe-0.3.21
Completed    syb-0.7.2.4
Completed    ordered-containers-0.2.3
Completed    transformers-compat-0.7.2
Completed    th-abstraction-0.7.0.0
Starting     th-expand-syns-0.4.11.0
Starting     th-lift-0.8.4
Building     th-lift-0.8.4
Building     th-expand-syns-0.4.11.0
Completed    th-expand-syns-0.4.11.0
Starting     th-reify-many-0.1.10
Completed    th-lift-0.8.4
Building     th-reify-many-0.1.10
Completed    th-reify-many-0.1.10
Starting     th-orphans-0.13.14
Building     th-orphans-0.13.14
Completed    th-orphans-0.13.14
Starting     th-desugar-1.17
Building     th-desugar-1.17
Completed    th-desugar-1.17
Downloading  equational-reasoning-0.7.0.3
Downloaded   equational-reasoning-0.7.0.3
Starting     equational-reasoning-0.7.0.3
Building     equational-reasoning-0.7.0.3
Completed    equational-reasoning-0.7.0.3