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.