Problem with exchange in do notationLast updated Feb 3, 2024do-notation for symmetric monoidal categories
