On Tue, Jan 4, 2011 at 10:51 AM, Tyson Whitehead <span dir="ltr"><<a href="mailto:twhitehead@gmail.com">twhitehead@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im"><br>
</div>It seems to me that while join is more of a value transformer as apposed to a<br>
flow combining operator, which makes it fit in better with the rest applicative.<br></blockquote><div><br></div><div>Join can't be defined in terms of Applicative combinators alone. Being an Applicative with join is enough to be a Monad. </div>
<div><br></div></div>