Typed Clojure in Practice