@sig(H[(Num, "a")]/ "a" >> "a")
def negate(a):
    """
    signum :: Num a => a -> a

    Unary negation.
    """
    return Num[a].negate(a)
dataset/ETHPy150Open billpmurphy/hask/hask/Data/Num.py/negate/original