Spliced arrows vs optics

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