Heck, even using multiple returns for this feels like a kludge to me at this point, when more advanced languages like TypeScript, Rust or Zig offer sum types/tagged unions.

Strictly speaking the unions in TS are untagged/set-theoretic, which is different from Rust or Zig.