Sync-minimal lens spanLast updated Feb 3, 2024cofunctorFunctor lensUniversal Properties of Proxy Pullbacks (Di Meglio)