Resolving dependencies...
Starting     microlens-0.4.12.0
Building     microlens-0.4.12.0
Completed    microlens-0.4.12.0
Downloading  microlens-ghc-0.4.13.2
Downloaded   microlens-ghc-0.4.13.2
Starting     microlens-ghc-0.4.13.2
Building     microlens-ghc-0.4.13.2
Completed    microlens-ghc-0.4.13.2