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

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