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

    The genericLength function is an overloaded version of length. In
    particular, instead of returning an Int, it returns any type which is an
    instance of Num. It is, however, less efficient than length.
    """
    raise NotImplementedError()
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/genericLength/original