>>> any (> 'c') "abcdabcd" True
>>> any (const True) "" False
>>> any (== 'c') "abdabd" False
any p t == not (all (not . p) t)