Relative of Standard ML that took a different path from the foundational derived from::ML language. It's derived language, OCaml, is more well-known.