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

>>92
I didn't think people were actually taking it seriously.
If you think that the defaults should matter so much, I would expect that you are outraged every time you have to use a compiler flag, or one of those stupid GHC directive comments that I see clogging up the top of many a haskell file. (SML-style overloading is achievable with a library and a compiler flag, by the way.)

I understand that OCaml does not have generics. However, "being different for the programmer" is my original point: obvious program correctness via explicitness. It may be more convenient for the programmer to write integer and float division the same way, but when it comes to reading it you'd potentially have a lot of context to absorb in order to understand what is actually going on.