Candidates for QuickCheck-safe