sum x y = x + y

sum :: Num a => a -> a -> a