One may write this as a distributive law between the promonads describing lenses and prisms. Tags: Traversal, optics
