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