At

At is a typeclass that defines a Lens from an S to an A at an index I.