>>696

add' :: Int Int -> Int

という型に見えます。