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
.