Resolving dependencies...
Configuring th-abstraction-0.2.8.0...
Configuring microlens-0.4.9.1...
Building th-abstraction-0.2.8.0...
Building microlens-0.4.9.1...
Installed microlens-0.4.9.1
Installed th-abstraction-0.2.8.0
Downloading microlens-th-0.4.2.3...
Configuring microlens-th-0.4.2.3...
Building microlens-th-0.4.2.3...
Installed microlens-th-0.4.2.3