A dialect/harmony of Standard ML and OCaml