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

>>99
Error: This expression has type 'a list but an expression was expected of type < length : 'a; .. >
Also (>) is
- widely known and lamented as one of a family of builtin functions that require a hole in the type system in order to work;
- inapplicable to two values of differing types.