Utilities for defining QuickCheck shrinks