It's probably not possible, but I'm going to see how far I can get...
1 people like thisPosted: 10 years ago by mavnn
Work in progress example on lenses and traversals.
4 people like thisPosted: 8 years ago by Vesa Karvonen
Two encodings of van Laarhoven style lenses allowing polymorphic updates
3 people like thisPosted: 8 years ago by Vesa Karvonen
Adaptation of https://bitbucket.org/rojepp/reflenses/overview using TypeShape
6 people like thisPosted: 5 years ago by Eirik Tsarpalis