effectful transition systems in do-notationLast updated Feb 3, 2024do-notation for symmetric monoidal categories