Resolving dependencies...
Starting     ghc-tcplugins-extra-0.4
Starting     reflection-2.1.6
Starting     syb-0.7.1
Building     syb-0.7.1
Building     reflection-2.1.6
Building     ghc-tcplugins-extra-0.4
Completed    ghc-tcplugins-extra-0.4
Completed    syb-0.7.1
Completed    reflection-2.1.6
Downloading  ghc-typelits-presburger-0.3.0.1
Downloaded   ghc-typelits-presburger-0.3.0.1
Starting     ghc-typelits-presburger-0.3.0.1
Building     ghc-typelits-presburger-0.3.0.1
Completed    ghc-typelits-presburger-0.3.0.1