quickcheck-compat
