>My point was that neither OCaml nor Haskell have particularly strong implementations in this area (to my knowledge)

They both do.