Spliced arrows vs optics

Tags: promonoidal category, optics, Promonoidal category of spliced arrows.