Data.Either.Validation monoid implementation, ok+error=ok?

Question

I look at this:

http://hackage.haskell.org/package/either-5.0.1.1/docs/Data-Either-Validation.html

implementation of monoid:

instance Monoid e =