On Thu, May 22, 2014 at 2:10 PM, Tony Morris <tmorris@tmorris.net> wrote:

AccValidation has an Applicative instance that accumulates on "Left" (Failure) as per the previous email. Therefore, it has no Monad.

Validation has a Monad and Applicative the same as Either.

Thanks for clarifying. So my takeaway is that

1) Validation instead of Either is not so much bikeshedding on the name as aligning with the use-case of AccValidation, and

2) AccValidation vs Either is like the ZippyList applicative vs List monad conflation.

-- Kim-Ee