Validation is an Either which can accumulate failures when used with the apply operator (*) and a Semigroup on the Left.