ifolding :: (Foldable f, Indexable i p, Contravariant g, Applicative g) => (s -> f (i, a)) -> Over p g s t a b
ifolding sfa f = coerce . traverse_ (coerce . uncurry (indexed f)) . sfa
ifolding :: (Foldable f, Indexable i p, Contravariant g, Applicative g) => (s -> f (i, a)) -> Over p g s t a b
ifolding sfa f = coerce . traverse_ (coerce . uncurry (indexed f)) . sfa
ifolding sfa f = coerce . traverse_ (coerce . uncurry (indexed f)) . sfa