Resolving dependencies...
Starting     ghc-tcplugin-api-0.8.0.0
Building     ghc-tcplugin-api-0.8.0.0
Completed    ghc-tcplugin-api-0.8.0.0
Downloading  typelet-0.1.2
Downloaded   typelet-0.1.2
Starting     typelet-0.1.2
Building     typelet-0.1.2
Completed    typelet-0.1.2