Clojure. But it's dynamically typed, not statically typed. And it is mostly eager not lazy, but is growing more laziness/fusion features.

OCaml, static and functional, but eager not lazy, but it lacks JVM compatibility (and FFI to non-functional C doesn't help very much) so it tends to only work for problems that don't need to third party libraries.