@sig("a"/ H >> "a")
def succ(a):
    """
    succ :: a -> a

    the successor of a value. For numeric types, succ adds 1.
    """
    return Enum[a].succ(a)
dataset/ETHPy150Open billpmurphy/hask/hask/lang/lazylist.py/succ/swapped operands of `/`