<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, May 22, 2014 at 2:10 PM, Tony Morris <span dir="ltr"><<a href="mailto:tmorris@tmorris.net" target="_blank">tmorris@tmorris.net</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>AccValidation has an Applicative instance that accumulates on "Left" (Failure) as per the previous email. Therefore, it has no Monad.<br>

<br></div>Validation has a Monad and Applicative the same as Either.</blockquote></div><br></div><div class="gmail_extra">Thanks for clarifying. So my takeaway is that<br><br></div><div class="gmail_extra">1) Validation instead of Either is not so much bikeshedding on the name as aligning with the use-case of AccValidation, and<br>

<br></div><div class="gmail_extra">2) AccValidation vs Either is like the ZippyList applicative vs List monad conflation.<br></div><div class="gmail_extra"><br clear="all"><div>-- Kim-Ee</div>
</div></div>