"Profunctor Optics: Modular Data Accessors."

Matthew Pickering, Jeremy Gibbons, Nicolas Wu (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics