Maybe I could send some PRs later (I've already sent one a few moments
ago). But, for now, I'll have to postpone.
Notes:
- You put too much focus in "open (error) type hierarchies" (e.g.
`error_code`). Not a problem. Also, do not change anything just because
this comment. Really, it is not a problem.
- The beginning of the documentation gave me the impression that I could
only use EC types that were convertible to `std::error_code`[1], “it need
in fact to merely satisfy trait::has_error_code_v<EC>”. Later pages
corrected my understanding.
- “only works when the EC type is the same in the try expression as the
calling function”[2] is misleading. `OUTCOME_TRYV(outcome::result