Do-notation composition

Tags: do-notation - theory of symmetric monoidal categories