Resolving dependencies...
Configuring ghc-tcplugins-extra-0.2.4...
Building ghc-tcplugins-extra-0.2.4...
Installed ghc-tcplugins-extra-0.2.4
Configuring ghc-typelits-natnormalise-0.5.9...
Building ghc-typelits-natnormalise-0.5.9...
Installed ghc-typelits-natnormalise-0.5.9
Downloading ghc-typelits-knownnat-0.4.1...
Configuring ghc-typelits-knownnat-0.4.1...
Building ghc-typelits-knownnat-0.4.1...
Installed ghc-typelits-knownnat-0.4.1