Resolving dependencies...
Starting     microlens-0.4.14.0
Starting     th-abstraction-0.7.1.0
Building     microlens-0.4.14.0
Building     th-abstraction-0.7.1.0
Completed    microlens-0.4.14.0
Completed    th-abstraction-0.7.1.0
Starting     microlens-th-0.4.3.17
Building     microlens-th-0.4.3.17
Completed    microlens-th-0.4.3.17