What benefits are there to checked exceptions over Rust's `Result` type?
As you make it easier to propagate the error case to the caller, you asymptotically reach checked exceptions.
I think the main thing you'd gain with checked exceptions is being able to list the possible failures in the function signature, instead of having to create an enum type. But I guess I'm not sure it's really worth the tradeoff.