The fastest way to feed ghc type errors to LLM

Apologies, Github Copilot does connect to HLS automatically (it just sometimes needs to be reminded of this fact), so it receives the type errors immediately. This is the fastest way I know so far.