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