Both Haskell and OCaml can raise exceptions for you, yet most people would say that they are properly typed. The plus function you wrote is not more confusing

Both Haskell and OCaml can raise exceptions for you, yet most people would say that they are properly typed. The plus function you wrote is not more confusing than any generic function in a language that supports that.