for the sake of simplicity, I wouldn't mind: (+ x) :: (abs x) thereby being somewhat symmetric to (- x); where although may be viewed as an incompatible change, it seems unlikely as it's presently defined as a null function.