1 2 3 4 5 6
Type error: error: RecordTypeMergeRequiresRecordType --> <current file>:1:1 | 1 | { x = True } ∧ { x = False } | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ RecordTypeMergeRequiresRecordType |