The problem is that the case statement coverage isn't a valid assumption in this case and using a union type is putting a square peg in a round hole. HTML sele

The problem is that the case statement coverage isn't a valid assumption in this case and using a union type is putting a square peg in a round hole. HTML selects do allow duplicate names. He'd be better off just using a dictionary or list of name/value pairs and forgoing the union type altogether.