Type systems document data movement throughout applications :-)

And the other problem with functions accepting dynamic types is that your function might only in reality handle one type, it still has to defensively handle when someone passes it things that will cause an error.

All the dynamic typing really did is move the cognitive load from the caller to the called.