Resolving dependencies...
Downloading ghc-tcplugins-extra-0.2.3...
Configuring ghc-tcplugins-extra-0.2.3...
Building ghc-tcplugins-extra-0.2.3...
Installed ghc-tcplugins-extra-0.2.3