How do I get good (small) shrinks out of QuickCheck?

FWIW, have a look at https://github.com/leepike/SmartCheck, which claims to derive better shrinks than one can usually do manually.