Resolving dependencies...
Starting     ghc-tcplugin-api-0.14.0.0
Building     ghc-tcplugin-api-0.14.0.0
Completed    ghc-tcplugin-api-0.14.0.0
Starting     typelet-0.1.5
Building     typelet-0.1.5
Completed    typelet-0.1.5