something I would like is a way to write exception-free code in rescript, like rust. this becomes even more relevant with this proposal, as we can do early returns on errors to propagate errors up (and it will facilitate static analysis of error paths).
so as a sort of “co-feature” with this proposal, i would like to be able to do “safe externals”, such that errors caused by externals were caught and turned into errors somehow. would that be possible?