Declares a block in which all optics are nested within the given field. Instead of:
Changes the value of the element(s) pointed by the Setter.
Transforms the value of the element(s) pointed by the Traversal.