Your comment seems to be missing the point of the parent. It wasn't saying that adding this field was a good thing to do. In fact, it relies on the extra field being self-evidently ridiculous -- it was saying that there's no way to avoid doing something.
The parent said any solution implemented within the language would be worse. Decades of experience with actual tagged unions would seem to indicate otherwise
