core.typed
https://github.com/clojure/core.typed
http://typedclojure.org/
#Clojure