Resolving dependencies...
Starting     th-abstraction-0.5.0.0
Starting     microlens-0.4.13.1
Building     th-abstraction-0.5.0.0
Building     microlens-0.4.13.1
Completed    microlens-0.4.13.1
Completed    th-abstraction-0.5.0.0
Downloading  microlens-th-0.4.3.13
Downloaded   microlens-th-0.4.3.13
Starting     microlens-th-0.4.3.13
Building     microlens-th-0.4.3.13
Completed    microlens-th-0.4.3.13