úÎ g:     None+$The bifunctor version of ValidationT The transformer version of  Validation. A value of the type err or a and isomorphic to  Data.Either.9_Success # (+1) <*> _Success # 7 :: Validation String Int Success 8=_Failure # ["f1"] <*> _Success # 7 :: Validation [String] IntFailure ["f1"]@_Success # (+1) <*> _Failure # ["f2"] :: Validation [String] IntFailure ["f2"]B_Failure # ["f1"] <*> _Failure # ["f2"] :: Validation [String] IntFailure ["f1"]A value of the type err or a, however, the  Applicative8 instance accumulates values. This is witnessed by the  Semigroup context on the instance. ,Note that there is no Monad such that ap = ( *).<_Success # (+1) <*> _Success # 7 :: AccValidation String Int AccSuccess 8@_Failure # ["f1"] <*> _Success # 7 :: AccValidation [String] IntAccFailure ["f1"]C_Success # (+1) <*> _Failure # ["f2"] :: AccValidation [String] IntAccFailure ["f2"]E_Failure # ["f1"] <*> _Failure # ["f2"] :: AccValidation [String] IntAccFailure ["f1","f2"]\((x `mappend` y) `mappend` z) == (x `mappend` (y `mappend` z :: AccValidation [String] Int))7mempty `mappend` x == (x :: AccValidation [String] Int)7x `mappend` mempty == (x :: AccValidation [String] Int)@((x <> y) <> z) == (x <> (y <> z :: AccValidation [String] Int))y  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwx   m    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxy       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyvalid_AbjoAisZP0V1CzErA3n6rAData.ValidationValidate _Validation _Validation'_AccValidation_Either ValidationBrunValidationB Validation' ValidationTrunValidationT ValidationFailureSuccess AccValidation AccFailure AccSuccess_Failure_Success$fMonoidAccValidation$fSemigroupAccValidationfmapAccValidationapAccValidationaltAccValidationfoldrAccValidationtraverseAccValidationbimapAccValidationbifoldrAccValidationbitraverseAccValidationappsAccValidationappmAccValidationemptyAccValidationfmapValidation apValidation altValidationfoldrValidationtraverseValidationbimapValidationbifoldrValidationbitraverseValidationbindValidationfmapValidationT apValidationTpureValidationTaplValidationTaltValidationTfoldrValidationTtraverseValidationTbindValidationTreturnValidationTliftValidationTfmapValidationB apValidationBpureValidationBaplValidationBaltValidationBfoldrValidationBtraverseValidationBbimapValidationBbifoldrValidationBbitraverseValidationBbindValidationBreturnValidationB _ValidationV' _ValidationTx_AccValidationV_EitherV_AccValidationValidationIso_AccValidationEitherIso_EitherValidationIso_EitherAccValidationIsoswappedAccValidationswappedValidationswappedValidationB$fSwappedValidationB$fSwappedValidation$fSwappedAccValidation$fValidateEither$fValidateAccValidation$fValidateValidation$fMonadValidationB$fBindValidationB$fBitraversableValidationB$fBifoldableValidationB$fBifunctorValidationB$fTraversableValidationB$fFoldableValidationB$fAltValidationB$fApplicativeValidationB$fApplyValidationB$fFunctorValidationB$fMonadTransValidationT$fMonadValidationT$fBindValidationT$fTraversableValidationT$fFoldableValidationT$fAltValidationT$fApplicativeValidationT$fApplyValidationT$fFunctorValidationT$fMonadValidation$fBindValidation$fBitraversableValidation$fBifoldableValidation$fBifunctorValidation$fTraversableValidation$fFoldableValidation$fAltValidation$fApplicativeValidation$fApplyValidation$fFunctorValidation$fBitraversableAccValidation$fBifoldableAccValidation$fBifunctorAccValidation$fTraversableAccValidation$fFoldableAccValidation$fAltAccValidation$fApplicativeAccValidation$fApplyAccValidation$fFunctorAccValidation