Typed Clojure's type system is too rich to avoid top-level annotations. It's a similar situation to Scala.