ocaml, f# and haskell