Candidates for hedgehog-quickcheck