Resolving dependencies...
Starting     microlens-0.4.13.1
Starting     th-abstraction-0.6.0.0
Building     microlens-0.4.13.1
Building     th-abstraction-0.6.0.0
Completed    microlens-0.4.13.1
Completed    th-abstraction-0.6.0.0
Downloading  microlens-th-0.4.3.14
Downloaded   microlens-th-0.4.3.14
Starting     microlens-th-0.4.3.14
Building     microlens-th-0.4.3.14
Completed    microlens-th-0.4.3.14