Example use of Clojure core.typed library