[Haskell-cafe] QC 2.0 missing some stuff I need

Hi, QuickCheck 1.x had this function: evaluate :: Testable a => a -> Gen Result which I used in TestPack to help wrap a QuickCheck test as a HUnit test case. QuickCheck 2.x seems to have no pure evaluate-like function at all; all of its functions are in the IO monad and also write their result to stdout, according to the docs. Am I missing something? Thanks, -- John