@sig("i"/ H[Integral, "i"] >> ["a"] >> ["a"])
def genericDrop(n, xs):
    """
    genericDrop :: Integral i => i -> [a] -> [a]

    The genericDrop function is an overloaded version of drop, which accepts
    any Integral value as the number of elements to drop.
    """
    raise NotImplementedError()
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/genericDrop/swapped operands of `/`