@sig(H[(Eq, "a")]/ "a" >> ["a"] >> bool)
def notElem(x, xs):
    """
    notElem :: Eq a => a -> [a] -> Bool

    notElem is the negation of elem.
    """
    return not elem(x, xs)
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/notElem/original