Sync-minimal lens span

Last updated Feb 3, 2024

• cofunctor
• Functor lens
• Universal Properties of Proxy Pullbacks (Di Meglio)