Issue759a.agda:9,13-19
public does not have any effect in an abstract block.
Issue759a.agda:12,10-32
Expected non-abstract record type, found Wrap
when checking that the expression record { wrapped = a } has type
Wrap A
