Types are not the only game in town, schema style solutions (like Clojure(Script)'s spec) have many things over static type systems.