Issue759b.agda:13,10-32 Expected non-abstract record type, found Wrap when checking that the expression record { wrapped = a } has type Wrap .A