This is why I'm curious about algebraic effects which was recently discussed on /r/rust [0]
The main challenges I see are around usability within the language design on how best to propagate and compose them.
[0] https://www.reddit.com/r/rust/comments/cjcwmu/is_there_inter...