Instance compose_generalizedArrows (s0 s1 s2:SMMEs)
(g01:GeneralizedArrow s0 s1)(g12:GeneralizedArrow s1 s2) : GeneralizedArrow s0 s2 :=
{ ga_functor_monoidal := g01 >>⊗>> smme_mon s1 >>⊗>> g12 }.
Instance compose_generalizedArrows (s0 s1 s2:SMMEs)
(g01:GeneralizedArrow s0 s1)(g12:GeneralizedArrow s1 s2) : GeneralizedArrow s0 s2 :=
{ ga_functor_monoidal := g01 >>⊗>> smme_mon s1 >>⊗>> g12 }.