A dialect/harmony of Standard ML of New Jersey and Objective Caml.