Resolving dependencies...
Starting     ghc-tcplugins-extra-0.5
Building     ghc-tcplugins-extra-0.5
Completed    ghc-tcplugins-extra-0.5
Starting     ghc-typelits-natnormalise-0.7.11
Building     ghc-typelits-natnormalise-0.7.11
Completed    ghc-typelits-natnormalise-0.7.11