Add ioProperty to main QuickCheck module
haddock