I don't know much about lenses as used in Haskell ...

# language-proposals

[rocketraman]

I don't know much about lenses as used in Haskell -- not sure if they can operate on the target object without prior knowledge of which properties are going to be changed i.e. without writing boiler-plate code for every single updateable property -- this latter requirement is the tie back to the KProperty and copy constructor