I have read the beginnings of Haskell tutorials now, and it seems to be very similar to Erlang? I am not sure I like the static typing, though (ie inflexible arrays). So maybe not enough reason to prefer Haskell over Erlang?

The base looks similar (space is function call, static types inference, currying, '->' for function definition etc.) because the common ancestor for haskell, o'caml, erlang and various others is ML, another language.

This is the same kind of relation between C, java and C#, the basic type system and grammar are cousin.

I won't answer to the "static typing is inflexible", but you should check the type system itself, and its genericity system and modularity system.