Resolving dependencies...
Downloading  logict-0.8.0.0
Downloading  ordered-containers-0.2.2
Starting     cabal-doctest-1.0.9
Starting     safe-0.3.19
Starting     th-abstraction-0.4.5.0
Starting     th-compat-0.1.4
Starting     syb-0.7.2.2
Downloaded   logict-0.8.0.0
Starting     transformers-compat-0.7.2
Starting     logict-0.8.0.0
Downloaded   ordered-containers-0.2.2
Starting     ordered-containers-0.2.2
Building     th-compat-0.1.4
Building     syb-0.7.2.2
Building     cabal-doctest-1.0.9
Building     th-abstraction-0.4.5.0
Building     safe-0.3.19
Building     transformers-compat-0.7.2
Building     ordered-containers-0.2.2
Building     logict-0.8.0.0
Completed    logict-0.8.0.0
Downloading  unification-fd-0.11.2
Downloaded   unification-fd-0.11.2
Starting     unification-fd-0.11.2
Completed    safe-0.3.19
Completed    th-compat-0.1.4
Building     unification-fd-0.11.2
Completed    syb-0.7.2.2
Completed    transformers-compat-0.7.2
Completed    ordered-containers-0.2.2
Completed    cabal-doctest-1.0.9
Completed    th-abstraction-0.4.5.0
Starting     th-lift-0.8.2
Starting     th-expand-syns-0.4.10.0
Building     th-expand-syns-0.4.10.0
Building     th-lift-0.8.2
Completed    th-expand-syns-0.4.10.0
Downloading  th-reify-many-0.1.10
Downloaded   th-reify-many-0.1.10
Starting     th-reify-many-0.1.10
Completed    th-lift-0.8.2
Building     th-reify-many-0.1.10
Completed    unification-fd-0.11.2
Completed    th-reify-many-0.1.10
Downloading  th-orphans-0.13.14
Downloaded   th-orphans-0.13.14
Starting     th-orphans-0.13.14
Building     th-orphans-0.13.14
Completed    th-orphans-0.13.14
Downloading  th-desugar-1.14
Downloaded   th-desugar-1.14
Starting     th-desugar-1.14
Building     th-desugar-1.14
Completed    th-desugar-1.14
Downloading  autoapply-0.4.1.3
Downloaded   autoapply-0.4.1.3
Starting     autoapply-0.4.1.3
Building     autoapply-0.4.1.3
Completed    autoapply-0.4.1.3