Hello,

Lens also uses it for combining indexed lenses: https://hackage.haskell.org/package/lens-4.13/docs/Control-Lens-Indexed.html#v:-60-.-62-

Best regards,

Marcin Mrotek