An Idris port of the Validation and AccValidation types from the Haskell validation package (Hackage package [here] hackage-validation) by Tony Morris and Nick Partridge.
In Tony's words:
A data type like
Eitherbut with an accumulativeApplicative