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