The Each typeclass provides a Traversal that can extract each element of a monomorphic container.
the focus of a Traversal
the source of a Traversal