Pm_tut> :t negate negate :: Num a => a -> a