[lock1]

I'm curious, if tagged unions are a subset of sum type, what is your definition of "sum type"?

AFAIK, tagged union is sum type, based on sum type mathematical definition.

[9rx]

On second thought, I agree with your definition. So Go does, in fact, have tagged unions.