Verbose functional languages?

Hello everybody,

I got a question. Is there anything like a verbose functional language
that attempts to be easily readable?

What I am looking for would be something that looks kind of like
smalltalk, with an emphasis on easy to read code, but fully functional
with immutable data structures and a powerful type system.

I find that many people are confused by the very compact syntax of
existing functional languages such as haskell and ocaml and therefore
miss out on the big advantages of these languages such as referential
transparency.

regards,

R=FCdiger