QuickCheck2 support for the test-framework package. WWW: https://batterseapower.github.io/test-framework/