LLMs Will Cheese Your Types: Fighting Back in Haskell