I wasn't intending to imply that they aren't. The standard being proposed when I originally wrote my comment was just "Haskell"; I think the "ocaml, etc" was a

I wasn't intending to imply that they aren't. The standard being proposed when I originally wrote my comment was just "Haskell"; I think the "ocaml, etc" was a later edit.