tmcgilchrist/quickcheck-properties archive