SASL (the predecessor to Miranda) isn't statically typed, but it's very small and very much feels like a language in the ML tradition.