Resolving dependencies...
Configuring th-abstraction-0.2.6.0...
Building th-abstraction-0.2.6.0...
Installed th-abstraction-0.2.6.0
Downloading micro-recursion-schemes-5.0.2.2...
Configuring micro-recursion-schemes-5.0.2.2...
Building micro-recursion-schemes-5.0.2.2...
Installed micro-recursion-schemes-5.0.2.2