do-notation for Freyd categories

Last updated Oct 14, 2024

• Do notation

Tags: Freyd category, do-notation, Cartesian multicategory.