I can’t find any “official” advice on shadowing. I would certainly shadow in this case, I just didn’t include it in my example because it’s a separate topic from monads and could add confusion.
Someone else asked the question about shadowing earlier, and I wrote up my personal thoughts on the matter, but as I pointed out there, it’s very opinionated and I don’t have any “official” guidance to point to.