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

    delete(x) removes the first occurrence of x from its list argument.

    It is a special case of deleteBy, which allows the programmer to supply
    their own equality test.
    """
    raise NotImplementedError()
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/delete/original