Pm_tut> :t (-)
(-) :: Num a => a -> a -> a