Sure, we have ChatGPT and Gemini now, but ghc will always be my first chatbot. Sure, it has a bit of an annoying thing about rigid and skolem type variables and it was reluctant to say anything complimentary - though I think I'm not wrong to interpret that silence as at least not disapproving. But we did work out some good stuff together over the years.