<div dir="ltr">Thank you Adam. I think that what I'm realizing here is that I should still always also consider the *desugared* version of the monadic notation, in order to remind me of the bindings and the scopes.</div>