Resolving dependencies...
Starting     microlens-0.4.12.0
Starting     th-abstraction-0.4.2.0
Building     microlens-0.4.12.0
Building     th-abstraction-0.4.2.0
Completed    microlens-0.4.12.0
Completed    th-abstraction-0.4.2.0
Downloading  microlens-th-0.4.3.9
Downloaded   microlens-th-0.4.3.9
Starting     microlens-th-0.4.3.9
Building     microlens-th-0.4.3.9
Completed    microlens-th-0.4.3.9