Add Applicative and Monad instances for Validator