having types vs having good types is two totally different world. Elm's type system is really awesome. Interaction of simplicity and power.

I kind of like to think of it as the Java to late 90s' C++, where "less is more" made it popular.