One other thing I will say about Schema (https://github.com/plumatic/schema https://github.com/plumatic/schema): while it's a lifesaver in a lot of ways, its me

One other thing I will say about Schema (https://github.com/plumatic/schema https://github.com/plumatic/schema): while it's a lifesaver in a lot of ways, its mere existence really does expose some of Clojure's deficiencies when it comes to the type system (or lack thereof). What are good examples of situations where static typing is better than schemas?