Haskell is

the white man's burden of programming languages.

>>74
A monad is a monad whatever you call the bind etc functions.

>>76
Either because your language has to pay for being lazy or because you want to abstract control flow and state (Maybe is C's && on steroids, List is map on steroids etc).

Also http://groups.google.com/group/comp.lang.functional/msg/2fde5545c6657c81

>>86
Whether you overload one name or give them all another name is irrelevant, certainly not ``what monads are all about''.

>>87
I think he meant type inference.