Why isn’t Validation a Monad?
As discussed in the Scalaz group, the problem seems to be that ap would accumulate errors whereas (pseudo-)monadic composition would only operate on the value part of Validation. Therefore, one cannot be expressed in terms of the other and thus no monad instance exists for Validation.