"Generic Deriving of Generic Traversals."

Csongor Kiss, Matthew Pickering, Nicolas Wu (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics