jeesus

Author: MaximilianAlgehed

docs/Manual.md

@@ -311,10 +311,10 @@ Consider a system of 4 variables _w,x,y,z_ where we want to test the QuickCheck
 We might write a QuickCheck property like this
 
 ```haskell
-prop1 :: Gen Property
+prop1 :: Property
 prop1 = do
-   (w,x,y,z) <- arbitrary :: Gen (Int,Int,Int,Int)
-   pure $ (w < x && x < y && y < z) ==> property (w < z)
+  forAll arbitrary $ \(w,x,y,z) :: (Int,Int,Int,Int) ->
+   (w < x && x < y && y < z) ==> property (w < z)
 ```
 
 The problem with this is that the probability that the condition `(w < x && x < y && y < z)` is True, for random