Haskell with a cleaned up library and eager evaluation would be a dream. Alternatively, adding type classes to OCaml (and removing the object system) would yield a similarly awesome language.