Oh we know. That's why static types are a la carte in Clojure. You can have them if you really really want them.