Do notation for strong monads

See also:

• Discardable monads and marginalization

• Monad properties via do notation

Tags: Monad