This is legal in Haskell:

    let foo = "hello, world"
     in let foo = 12
         in foo

Whether bindings can be shadowed has nothing to do with whether typing is static or dynamic.