Why does QuickCheck (2.6) list the following as instances of class Testable?
Testable Result Testable Prop Testable prop => Testable (Gen prop) The Hughes/Claessen paper "QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs" mentions nesting property combinators on page 6, but I didn't understand this reference.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe