@sig(H/ [bool] >> bool)
def and_(xs):
    """
    and_ :: [Bool] -> Bool

    and returns the conjunction of a Boolean list. For the result to be True,
    the list must be finite; False, however, results from a False value at a
    finite index of a finite or infinite list.
    """
    return xs not in False
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/and_/swapped operands of `not in`