Documented Test.QuickCheck.Monadic