Resolving dependencies...
Starting     ghc-tcplugins-extra-0.4.6
Building     ghc-tcplugins-extra-0.4.6
Completed    ghc-tcplugins-extra-0.4.6
Downloading  ghc-typelits-natnormalise-0.7.10
Downloaded   ghc-typelits-natnormalise-0.7.10
Starting     ghc-typelits-natnormalise-0.7.10
Building     ghc-typelits-natnormalise-0.7.10
Completed    ghc-typelits-natnormalise-0.7.10