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

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