Resolving dependencies...
Configuring ghc-tcplugins-extra-0.2.2...
Building ghc-tcplugins-extra-0.2.2...
Installed ghc-tcplugins-extra-0.2.2
Downloading ghc-typelits-natnormalise-0.5.8...
Configuring ghc-typelits-natnormalise-0.5.8...
Building ghc-typelits-natnormalise-0.5.8...
Installed ghc-typelits-natnormalise-0.5.8