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 Traversal.
Transforms the value of the element(s) pointed by the Traversal.