Resolving dependencies...
Downloading microlens-0.4.5.0...
Configuring microlens-0.4.5.0...
Building microlens-0.4.5.0...
Installed microlens-0.4.5.0
Downloading microlens-ghc-0.4.5.0...
Configuring microlens-ghc-0.4.5.0...
Building microlens-ghc-0.4.5.0...
Installed microlens-ghc-0.4.5.0