Control.Lens.Indexed
class Indexable i k
data Indexed i a b
(<.>)
(<.)
(.>)
icompose
reindexed
indexing
indexing64