leancheck-0.5.0: Cholesterol-free property-based testing

This module exports Listable and Show function typeclass instances. These can be useful for testing higher-order properties --- properties that take functions as arguments.
LeanCheck provides several alternative definitions of Listable functions:
Take care: all the above Listable instances are experimental. Only one of the above can be imported at a time.