Property-based testing framework for Haskell using type-preserving mutations.
Property-Based Testing framework using exhaustive mutations