I also try to do verbose type classes using Ocaml's module system and it's been handling these patterns pretty well. My guess is there is probably good document

I also try to do verbose type classes using Ocaml's module system and it's been handling these patterns pretty well. My guess is there is probably good documentation / training data in there for these patterns since they are well documented. I haven't actually used coding agents with Haskell yet so it's possible that Ocaml's verbosity helps the agent.