There are few things, which need dynamic typing: modules defined at runtime, hot code updates, ducktyping (if if quacks it’s a duck), …
But the most important one is (distributed) message passing.
You could also look at gleam and what it can’t statically type.
