do-notation for copy-discard-compare categoriesLast updated Apr 14, 2025Do notationTags: arrow notation, copy-discard-compare category.