newer-quickcheck