The Field1 typeclass provides a Lens for a way to get the first element of structure.
the focus of a Lens
the source of a Lens