TooManyFields.agda:10,7-28
The record type D does not have the fields y
when checking that the expression record { x = x; y = x } has type
D