@sig(H/ int >> ["a"] >> ["a"])
def drop(n, xs):
    """
    drop :: Int -> [a] -> [a]

    drop(n, xs) returns the suffix of xs after the first n elements, or [] if n >
    length xs
    """
    return xs[n:]
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/drop/original