> Haskell's do-notation, which is basically syntactic sugar for overshadowing. Do-notation does not relate to variable shadowing. It's syntactic sugar over ex

> Haskell's do-notation, which is basically syntactic sugar for overshadowing. Do-notation does not relate to variable shadowing. It's syntactic sugar over excessive flatmapping / pyramid of doom.