Agda.Utils.Lens.Examples
data
Record
a b
lensField1
lensField2