test-invariant (hackage): Provide common invariants to be checked with QuickCheck
Keywords: bsd3|library|testing