Be Cool About Type Safety

I very often praise Kotlin for its powerful and flexible type system, and bash on JavaScript for its lack thereof. But I want to show that, while it is personal preference (even if a popular opinion), there are actual merits to having a good type system. While Kotlin and JS are used as examples here, these points can be extrapolated to most languages.