Optional type annotations are used to improve dynamical languages by adding static typing; we don't see static languages adding untyped places (there's type inf

Optional type annotations are used to improve dynamical languages by adding static typing; we don't see static languages adding untyped places (there's type inference, but there's nothing dynamic about that).