Resolving dependencies...
Starting     microlens-0.4.13.1
Starting     th-abstraction-0.4.5.0
Building     microlens-0.4.13.1
Building     th-abstraction-0.4.5.0
Completed    microlens-0.4.13.1
Completed    th-abstraction-0.4.5.0
Downloading  microlens-th-0.4.3.11
Downloaded   microlens-th-0.4.3.11
Starting     microlens-th-0.4.3.11
Building     microlens-th-0.4.3.11
Completed    microlens-th-0.4.3.11