newer-quickcheck 355 Bytes