Add comments showing a simpler view of a couple of monads