I am a total quickcheck noob. Is there a way to find out what predicate test "<function>" is, below? Also, is there a way I can ask quickcheck to test lists of various built in types, not just Int? *********** Falsifiable, after 4 tests: <function> [1] *Recursion> testMyBreak Falsifiable, after 1 tests: <function> [-1,1,2] *Recursion> testMyBreak = quickCheck $ \p l -> myBreak p (l :: [Int]) == break p l myBreak t xs = let f t next rest = if t next then ([], snd rest) else (next : fst rest, snd rest) in foldr ( f t ) ([],[]) xs --- This e-mail may contain confidential and/or privileged information. If you are not the intended recipient (or have received this e-mail in error) please notify the sender immediately and destroy this e-mail. Any unauthorized copying, disclosure or distribution of the material in this e-mail is strictly forbidden.