Control.Lens.Indexed
class Indexed i k
type Indexable i a b
data Index i a b
(<.>)
(<.)
(.>)
icompose
reindex