Resolving dependencies...
Configuring ghc-tcplugins-extra-0.2...
Building ghc-tcplugins-extra-0.2...
Installed ghc-tcplugins-extra-0.2
Downloading ghc-typelits-natnormalise-0.5.3...
Configuring ghc-typelits-natnormalise-0.5.3...
Building ghc-typelits-natnormalise-0.5.3...
Installed ghc-typelits-natnormalise-0.5.3