@@ -74,7 +74,7 @@ data R2 = R2 R1
7474 deriving Arbitrary via (GenericArbitrary R2)
7575@
7676
77−This code will compile and the @arbitrary@ generated will always hand. Yes,
77+This code will compile and the @arbitrary@ generated will always hang. Yes,
7878there is a problem with mutually recursive types.
7979
8080Now lets see an example of datatype with parameters
@@ -90,7 +90,7 @@ instance (Arbitrary a) => Arbitrary (A a) where
9090 shrink = genericShrink
9191@
9292
93−It should work from first glance, but on compilation it will throw an error:
93+It should work from first glance, but when compile it will throw an error:
9494
9595@
9696 • Could not deduce (Test.QuickCheck.Arbitrary.Generic.GArbitrary
@@ -120,7 +120,7 @@ instance (Arg (A a) a, Arbitrary a) => Arbitrary (A a) where
120120 shrink = genericShrink
121121@
122122
123−Now everything compiles.
123+Now everything compiles and works as expected.
124124
125125-}
126126