Do notation for strong monads

Last updated Nov 4, 2022

See also:

• Discardable monads and marginalization

• Monad properties via do notation

Tags: Monad