Typed Clojure
https://typedclojure.org/