1 2 3 4 5 6
Type error: error: RecordTypeDuplicateField --> <current file>:1:0 | 1 | { x: Natural, x: Natural } | ^^^^^^^^^^^^^^^^^^^^^^^^^^ RecordTypeDuplicateField |