Type error: error: UnionTypeDuplicateField
 --> <current file>:1:1
  |
1 | <x | x>
  | ^^^^^^^ UnionTypeDuplicateField
  |