do-notation

Last updated Apr 23, 2024

• do-notation for symmetric monoidal categories
• do-notation for Freyd categories
• do-notation for for effectful copy-discard categories
• loop do-notation