Resolving dependencies...
Starting     microlens-0.4.12.0
Starting     th-abstraction-0.4.0.0
Building     microlens-0.4.12.0
Building     th-abstraction-0.4.0.0
Completed    microlens-0.4.12.0
Completed    th-abstraction-0.4.0.0
Starting     microlens-th-0.4.3.7
Building     microlens-th-0.4.3.7
Completed    microlens-th-0.4.3.7