Modelling monads with a typeclass is stupid. There isn't one true monad for a given type. It makes no sense that when you use bind with lists you automatically get concatmap.
>>9 Besides, how would you do this in a dynamically-typed language?
You can always tell when someone is out of their depth when they shift the burden of proof.
You've got a problem with Ron Paul? Then how do you explain Obama's actions with respect to X, Y, and Z?