Edward Kmett wrote:
Functional references let you both read and write 'attributes' in a
structure. These can be chained to access members of members.
You can also use them to build bidirectional views on fields (and
compose those again as well).
Martijn.