Add VerifiedApplicative (Either a) instance.