Proposal: Applicative => Monad: Call for consensus

[Edward Kmett]

On Tue, Jan 4, 2011 at 10:51 AM, Tyson Whitehead <twhitehead at gmail.com>wrote:

>
> It seems to me that while join is more of a value transformer as apposed to
> a
> flow combining operator, which makes it fit in better with the rest
> applicative.
>

Join can't be defined in terms of Applicative combinators alone. Being an
Applicative with join is enough to be a Monad.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20110107/58ab7436/attachment-0001.htm>