MonadPlus instance for ContT
John Wiegley
johnw at fpcomplete.com
Mon Jun 24 21:54:50 CEST 2013
>>>>> Edward Kmett <ekmett at gmail.com> writes:
> Because there are many monads for which you do not want this construction!
>
> It isn't what you mean when you use mappend on [a] for sure! It is also
> different from the behavior for Monad, and it rules out those and many many
> other perfectly valid uses by overlap.
Thanks for the clarification, Edward! Very good points.
--
John Wiegley
FP Complete Haskell tools, training and consulting
http://fpcomplete.com johnw on #haskell/irc.freenode.net
More information about the Libraries
mailing list