[afiori]

that is why in most languages with that approach you have a symmetric error type (Either for Haskell, Result for Rust etc.)

[cies]

and in those langs its trivial and very common to make even more elaborate return/result types containing a very precise representation of all possible result categories.