genvalidity-criterion (hackage): Validity and validity-based testing
Keywords: library|mit|validity|explicit-invariants|invalid-values|invariants|sanity-test