generated at
Profunctor Optics
https://bartoszmilewski.com/2017/07/07/profunctor-optics-the-categorical-view/
https://golem.ph.utexas.edu/category/2020/01/profunctor_optics_the_categori.html
https://arxiv.org/abs/2001.07488
https://mpickering.github.io/papers/profunctor-options.pdf
https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf