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