Test.QuickCheck.IO

propertyIO