I don't think it's strange at all--my main uses of the returned errors are 1a. yes, there was some error 1b. there was an error--throw another local error and

I don't think it's strange at all--my main uses of the returned errors are 1a. yes, there was some error 1b. there was an error--throw another local error and encapsulate the caught error 2. treat result of throwing call as `nil` and handle appropriately I don't think typed throws add anything to the language. I think they will result in people wasting time pondering error types and building large error handling machines :) When I used Java, I found typed exceptions difficult to reason about and handle correctly.