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