test-fun

Generate, shrink, and show functions for testing higher-order properties. See README.