do-notation for Freyd categories

Tags: Freyd category, arrow notation, Cartesian multicategory.