test-fun (hackage): Generate, shrink, and show functions for testing higher-order properties. See README.
Keywords: library|mit|testing|functional-programming|random