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