Property-based тестирование с QuickCheck

[Zenitchik]

Чем следует руководствоваться при разработке функции shrink ? Можно ли написать для заданного типа данных единственный shrink, или возможны различные варианты, в зависимости от предметной области?