Test.QuickCheck.IO
propertyIO