quickcheck-higherorder (hackage): Enhancements for property-based testing of higher-order properties.  Associate types to their representations with the Constructible class.  Testable' class, variant of Testable with an improved instance for (->).  Representation of higher-order functions (via test-fun).  Testable equality TestEq.  Explicit testable type of Equation.  See also README.
Keywords: library|mit|testing|haskell|higher-order|quickcheck