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