Hi, I would like to verify a list of properties using QuickCheck. Of course, I can test a single property using: quickCheck :: Testable prop => prop -> IO () Then, I can check a list of properties my mapping this function over a list: quickCheckL :: Testable prop => [prop] -> IO () quickCheckL = mapM_ quickCheck This gives me a result for each property: Prelude Test.QuickCheck> quickCheckL [1==1,2==2] OK, passed 100 tests. OK, passed 100 tests. However, I would like a single result for the complete list of properties instead of a result for each property. I realize that this restricts the properties to be of the same type, but that isn't a problem for my application. Did I miss a library function that provides me this functionality? Regards, Thomas