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