[Haskell-cafe] QuickCheck shrink

Can someone point me at some documentation or examples of how to write and use a QuickCheck shrink function. I can't seem to find anything online. Thanks, Warren