Promonoidal contour

Tags: promonoidal category, polycategory - polycategorical splice.