A failing QuickCheck property is only as useful as its counter-example. Without a shrinker, a random failure can be too big to read. With one, QuickCheck cuts it down to a small input that still fails.

www.mlabs.city/blog/masteri... #Haskell #QuickCheck