do-notation for Freyd categories

Last updated Feb 3, 2024

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