You might try OCaml. Haskell (like Common Lisp) is more a big soup of features than a carefully chosen orthogonal set. Standard ML (SML) is maybe more orthogonal than OCaml, but less used in practice.