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