> To be fair, it is very similar to a `Result<T, E>` type

It's basically the same thing, in a language with pattern matching but not static typing. In Erlang/Elixir it's conventional to use tagged tuples to emulate sum types.