The At typeclass provides a Lens that can be used to read, write or delete the value associated with a key in a Map-like container
an optional focus of a Lens
the index of a Lens
the source of a Lens