I'll also mention that Codex / Copilot could help write Haskell code where I simply couldn't. Or, at least get me close.

Generation with ML and then filtering with the typechecker/compiler for valid results could be a really powerful pair.