Resolving dependencies...
Starting     reflection-2.1.6
Starting     singletons-3.0.1
Starting     ghc-tcplugins-extra-0.4.2
Starting     syb-0.7.2.1
Building     reflection-2.1.6
Building     singletons-3.0.1
Building     ghc-tcplugins-extra-0.4.2
Building     syb-0.7.2.1
Completed    ghc-tcplugins-extra-0.4.2
Completed    singletons-3.0.1
Completed    syb-0.7.2.1
Completed    reflection-2.1.6
Starting     ghc-typelits-presburger-0.6.1.0
Building     ghc-typelits-presburger-0.6.1.0
Completed    ghc-typelits-presburger-0.6.1.0
Downloading  singletons-presburger-0.6.1.0
Downloaded   singletons-presburger-0.6.1.0
Starting     singletons-presburger-0.6.1.0
Building     singletons-presburger-0.6.1.0
Completed    singletons-presburger-0.6.1.0