Derivations in Do-notationLast updated Feb 3, 2024Tags: do-notation for symmetric monoidal categories.