Resolving dependencies...
Starting     microlens-0.4.13.1
Starting     th-abstraction-0.7.0.0
Building     microlens-0.4.13.1
Building     th-abstraction-0.7.0.0
Completed    microlens-0.4.13.1
Completed    th-abstraction-0.7.0.0
Downloading  microlens-th-0.4.3.15
Downloaded   microlens-th-0.4.3.15
Starting     microlens-th-0.4.3.15
Building     microlens-th-0.4.3.15
Completed    microlens-th-0.4.3.15