It's not clear why you think that From/map_err don't let you separate errors at levels of abstractions. It gets done all the time.

And error-chain exists if you want a more fluid system of errors.