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 15:52
>>17
No. I don't understand the notion of "monoid from category of endofunctors".