 --> 1:3
  |
1 | { x: Natural, x: Natural }␊
  |   ^--------------------^
  |
  = Duplicate field in record type
