As for lenses, these are not production ready yet,...

# language-proposals

[raulraja]

As for lenses, these are not production ready yet, but keep an eye if you are interested in https://github.com/kategory/kategory/tree/master/kategory-optics/src/main/kotlin/kategory/optics which used to be https://github.com/nomisRev/optikal/blob/master/README-2.MD and is now in the Kategory family