lens: An optic that applies to product types. See Optics