C

contracheck-applicative

Validation types/typeclass that allow for effectful validation and easy composition.