* warrensomebody at gmail.com <warrensomebody at gmail.com> [2012-12-05 12:21:52-0800] > 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, Did you try to look at the instances defined in the package itself? Roman