Do notation for strong monads

Last updated Feb 3, 2024

See also:

• Discardable monads and marginalization

• Monad properties via do notation

Tags: Monad