You're aware of core.typed? If not, take a look -- it provides type checking / induction on Clojure code.