基本的に OCaml も F# も SML も Haskell も Hindley-Milner type system に根ざした ML の一種です。ですから、プログラムの見た目は違いますが、その違いに慣れればこの内一つを使える人は Haskell も書けます。書けないのは、書こうとしないからだけ。