when package:QuickCheck

Performs an IO action after the last failure of a property.

Performs an IO action every time a property fails. Thus, if shrinking is done, this can be used to keep track of the failures along the way.