As a previous user of quickcheck and now user of proptest, I can say that proptest feels much better to use because it doesn't tie quite as directly to a single

As a previous user of quickcheck and now user of proptest, I can say that proptest feels much better to use because it doesn't tie quite as directly to a single type (as a sibling comment mentions). With quickcheck, I had to define `MyTypeWithAnOddOffset` and `MyTypeWithAnEvenOffset` (or equivalent formulation) and composing things was tedious or hard. With proptest [1], things flow much nicer. [1]: https://github.com/shepmaster/jetscii/blob/2b1039a9fb8d8ad9c0dbac2c1007c4d0533261c2/src/simd.rs#L387-L409 https://github.com/shepmaster/jetscii/blob/2b1039a9fb8d8ad9c...