errors/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