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