changelog
Use new ioProperty combinator in monadic QuickCheck.
Add explanatory comment to capture.