This is like saying Haskell doesn't have immutability because it has the state monad, or that rust doesn't because you can shadow with let. Data is immutable a

This is like saying Haskell doesn't have immutability because it has the state monad, or that rust doesn't because you can shadow with let. Data is immutable and thats much more important than whether local variables can be modified imo.