Monad properties via do notation

Last updated Oct 6, 2022