[cheriot]

I find the Monocle library does a good job of describing the motivation for type optics: 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-...