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