Functional programming beyond Haskell

We have all learned functional programming in Haskell, but there are more functional languages like Lisp, Scheme, ML, and Clean.

Why should we even bother to look further than Haskell?

- You want your programs to run faster.
- Monads drive you mad (what are they anyway? warm fuzzy things?).
- You need objects.
- You sometimes need a more powerful module system.

http://www.cs.uu.nl/wiki/pub/Stc/BeyondFunctionalProgrammingInHaskell:AnIntroductionToOCaml/ocaml.pdf

>>79
Off the top of my head:
Weak module system (compared to SML).
No real packages (cannot disambiguate same-name modules).
Shitty record types (a community-acknowledged thorn in the ass).
String is a linked list of chars.
The numeric tower in the Prelude is dumb-ass (though still better than any of your Scheme or OCaml shit).
Stream fusion still not well-integrated (though most languages don't even have it).

GHC is big only because it contains 4 versions of every library (and 5 copies of the compiler itself).