The reason people can’t remember it on the spot is that it’s really not necessary to understand how do-notation desugars in order to use it. People usually che

The reason people can’t remember it on the spot is that it’s really not necessary to understand how do-notation desugars in order to use it. People usually check it once, see that it is correct and forget about it.