optional clojure type checking: https://github.com/clojure/core.typed/ (not finished, but showing promise)