I find the Monocle library does a good job of describing the motivation for type optics: http://julien-truffaut.github.io/Monocle/ http://julien-truffaut.github

I find the Monocle library does a good job of describing the motivation for type optics: http://julien-truffaut.github.io/Monocle/ http://julien-truffaut.github.io/Monocle/ Where I've used this in real code is via circe-optics (json parsing). An example: https://stackoverflow.com/questions/36724068/how-to-parse-a-json-scala-without-case-classes https://stackoverflow.com/questions/36724068/how-to-parse-a-...