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.
Name:
Anonymous2011-12-19 11:39
>>3
But only in one way (and there's more than one possible monad with list).