Typing is a great addition to Python, but despite all the effort, it's still a band-aid. It doesn't ultimately solve the issue with checking single return values and/or exceptions.

I'm in awe every time I see how elegant this is in Erlang/Elixir:

    case HTTPoison.get(url) do
      {:ok, %HTTPoison.Response{body: body, status_code: 200}} ->
        IO.puts body
      {:error, %HTTPoison.Error{reason: reason}} ->
        IO.inspect reason
    end

Pattern matching on return tuples is really amazing.