Proposal: Applicative => Monad: Call for consensus

Edward Kmett ekmett at
Fri Jan 7 09:02:04 CET 2011

On Tue, Jan 4, 2011 at 10:51 AM, Tyson Whitehead <twhitehead at>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: <>

More information about the Libraries mailing list