@sig(H/ (H/ "a" >> bool) >> ["a"] >> bool)
def any(p, xs):
    """
    any :: (a -> Bool) -> [a] -> Bool

    Applied to a predicate and a list, any determines if any element of the
    list satisfies the predicate. For the result to be False, the list must be
    finite; True, however, results from a True value for the predicate applied
    to an element at a finite index of a finite or infinite list.
    """
    return True in ((p(x) for x in xs))
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/any/original