Clojure core.typed is not there yet, but aims to support exactly same thing (like type racket).