Resolving dependencies...
Starting     ghc-tcplugin-api-0.10.0.0
Building     ghc-tcplugin-api-0.10.0.0
Completed    ghc-tcplugin-api-0.10.0.0
Downloading  typelet-0.1.3
Downloaded   typelet-0.1.3
Starting     typelet-0.1.3
Building     typelet-0.1.3
Completed    typelet-0.1.3