traversableQuicklensFunctor
quicklens