Resolving dependencies...
Starting     ghc-tcplugins-extra-0.4.3
Building     ghc-tcplugins-extra-0.4.3
Completed    ghc-tcplugins-extra-0.4.3
Starting     ghc-typelits-natnormalise-0.7.7
Building     ghc-typelits-natnormalise-0.7.7
Completed    ghc-typelits-natnormalise-0.7.7
Starting     ghc-typelits-knownnat-0.7.7
Building     ghc-typelits-knownnat-0.7.7
Completed    ghc-typelits-knownnat-0.7.7
Downloading  ghc-typelits-extra-0.4.4
Downloaded   ghc-typelits-extra-0.4.4
Starting     ghc-typelits-extra-0.4.4
Building     ghc-typelits-extra-0.4.4
Completed    ghc-typelits-extra-0.4.4