I clicked on this wondering if they meant optics [1] or optics [2]. Either of them would be worth reading.

[1]: https://en.wikipedia.org/wiki/Optics [2]: https://hackage.haskell.org/package/optics-0.4.2/docs/Optics...