Resolving dependencies...
Configuring ghc-tcplugins-extra-0.2...
Building ghc-tcplugins-extra-0.2...
Installed ghc-tcplugins-extra-0.2
Configuring ghc-typelits-natnormalise-0.5.2...
Building ghc-typelits-natnormalise-0.5.2...
Installed ghc-typelits-natnormalise-0.5.2
Downloading type-indexed-queues-0.1.0.0...
Configuring type-indexed-queues-0.1.0.0...
Building type-indexed-queues-0.1.0.0...
Installed type-indexed-queues-0.1.0.0