The Cons typeclass provides a Prism for a way to attach or detach elements on the left side of a structure.
the head part of the focus (A, S) of a Prism
(A, S)
the source of a Prism