do-notation substitution

Last updated Apr 14, 2025

Tags: arrow notation.