monoidal-profunctor-string-diagrams