Resolving dependencies...
Configuring ghc-tcplugins-extra-0.2.1...
Building ghc-tcplugins-extra-0.2.1...
Installed ghc-tcplugins-extra-0.2.1
Downloading ghc-typelits-natnormalise-0.5.7...
Configuring ghc-typelits-natnormalise-0.5.7...
Building ghc-typelits-natnormalise-0.5.7...
Installed ghc-typelits-natnormalise-0.5.7