Some utilities for property-based testing with LeanCheck.

Those utilities are general-purpose enough to be used with other property-based based testing libraries. See each exported module for details.

This is not exported by Test.LeanCheck. You need to import this explicitly.