Ah yes TH. That’s imho the last biggie in the way of total awesomeness. See this ticket: https://github.com/digital-asset/ghcide/issues/34