úÎ3 È Safe-Infered$Construction for validation values. &Construct a success validation value. &Construct a failure validation value. The transformer version of  Validation. A value of the type err or a and isomorphic to  Data.Either. A value of the type err or a, however, the  Applicative instance . accumulates values. This is witnessed by the  Semigroup context on the instance.  4Note that there is no @Monad@ such that @ap = (<*>).   success (+1)  * success 7 == AccSuccess 8  failure [f1]  * success 7 == AccFailure [f1]  success (+1)  * failure [f2] == AccFailure [f2]  failure [f1]  * failure [f2] == AccFailure [f1,f2]/  !"#$%&'()*+,-.+  !"#$%&'()*+,-./      !"#$%&'()*+,-./0Validation-0.2.0Data.ValidationValidatesuccessfailure ValidationTrunValidationT Validation AccValidation$fValidateValidationT$fValidateValidation$fValidateAccValidation$fMonadValidationT$fBindValidationT$fBitraversableValidationT$fBifoldableValidationT$fBifunctorValidationT$fTraversableValidationT$fFoldableValidationT$fAlternativeValidationT$fAltValidationT$fApplicativeValidationT$fApplyValidationT$fFunctorValidationT$fMonadValidation$fBindValidation$fBitraversableValidation$fBifoldableValidation$fBifunctorValidation$fTraversableValidation$fFoldableValidation$fAlternativeValidation$fAltValidation$fApplicativeValidation$fApplyValidation$fFunctorValidation$fMonoidAccValidation$fSemigroupAccValidation$fBitraversableAccValidation$fBifoldableAccValidation$fBifunctorAccValidation$fTraversableAccValidation$fFoldableAccValidation$fAlternativeAccValidation$fAltAccValidation$fApplicativeAccValidation$fApplyAccValidation$fFunctorAccValidation