Resolving dependencies...
Starting     reflection-2.1.7
Starting     syb-0.7.2.4
Starting     ghc-tcplugins-extra-0.4.5
Building     reflection-2.1.7
Building     syb-0.7.2.4
Building     ghc-tcplugins-extra-0.4.5
Completed    syb-0.7.2.4
Completed    reflection-2.1.7
Completed    ghc-tcplugins-extra-0.4.5
Starting     ghc-typelits-presburger-0.7.3.0
Building     ghc-typelits-presburger-0.7.3.0
Completed    ghc-typelits-presburger-0.7.3.0