Resolving dependencies...
Configuring cabal-doctest-1.0.6...
Configuring base-orphans-0.6...
Building base-orphans-0.6...
Building cabal-doctest-1.0.6...
Installed base-orphans-0.6
Configuring loop-0.3.0...
Building loop-0.3.0...
Installed cabal-doctest-1.0.6
Configuring nats-1.1.2...
Installed loop-0.3.0
Configuring semigroups-0.18.4...
Building nats-1.1.2...
Building semigroups-0.18.4...
Installed nats-1.1.2
Configuring th-abstraction-0.2.6.0...
Building th-abstraction-0.2.6.0...
Installed semigroups-0.18.4
Configuring transformers-compat-0.5.1.4...
Building transformers-compat-0.5.1.4...
Installed transformers-compat-0.5.1.4
Configuring utf8-string-1.0.1.1...
Building utf8-string-1.0.1.1...
Installed th-abstraction-0.2.6.0
Configuring matrix-0.3.5.0...
Building matrix-0.3.5.0...
Installed utf8-string-1.0.1.1
Configuring tagged-0.8.5...
Building tagged-0.8.5...
Installed tagged-0.8.5
Configuring contravariant-1.4.1...
Building contravariant-1.4.1...
Installed contravariant-1.4.1
Configuring distributive-0.5.3...
Building distributive-0.5.3...
Installed matrix-0.3.5.0
Installed distributive-0.5.3
Configuring comonad-5.0.3...
Building comonad-5.0.3...
Installed comonad-5.0.3
Configuring bifunctors-5.5.2...
Building bifunctors-5.5.2...
Installed bifunctors-5.5.2
Configuring semigroupoids-5.2.2...
Building semigroupoids-5.2.2...
Installed semigroupoids-5.2.2
Configuring wl-pprint-extras-3.5.0.5...
Building wl-pprint-extras-3.5.0.5...
Installed wl-pprint-extras-3.5.0.5
Downloading HaTeX-3.18.0.0...
Configuring HaTeX-3.18.0.0...
Building HaTeX-3.18.0.0...
Installed HaTeX-3.18.0.0