So I suppose it's more like 'unchecked exceptions ...

# language-proposals

[fellshard]

So I suppose it's more like 'unchecked exceptions can be used in such a way that they carry the same semantics to the Failure value of a Result monad'