[kqr]

Lenses (or, rather, optics) are still far more powerful than plain record field getters. Optics allow

- Mutation of nested records,

- Iteration of collections,

- Folding of collections,

- Viewing discriminated cases that may or may not exist,

- Building a structure around a value, and so on and so forth.

[imdoor]

Yeah, there are still a lot of reasons to use lenses. But to rephrase - i was wondering if lenses and the proposal somehow "interact". Actually, I just found some of what i was after in this comment [1].

[1] https://github.com/ghc-proposals/ghc-proposals/pull/282#issu...

[kreetx]

But this has nested mutation, no?