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

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