DuplicateFields.agda:10,9-30 Duplicate fields x in record when checking that the expression record { x = x ; x = y } has type D