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