Control.Lens.IndexedLens
type IndexedLens i s t a b
(%%@~)
(<%@~)
(%%@=)
(<%@=)
data ReifiedIndexedLens i s t a b
class Contains k m
resultAt
type SimpleIndexedLens i s a
type SimpleReifiedIndexedLens i s a