title: What is a shrink, with regard to Haskell's QuickCheck?
body: <p>I'm learning the ropes of QuickCheck >= 2.6 but I don't understand what a shrink is. From looking at the <a href="http://hackage.haskell.org/packages/archive/QuickCheck/2.6/doc/html/Test-QuickCheck.html#g:7">type signature</a> shrink looks more like expand! Please illuminate me :)</p>