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

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