Typed Clojure update: Improved errors and inference for macros and inline fns https://www.patreon.com/posts/58083981
It would be interesting to hear the real-world usage story, I spend my time on the checker and haven't tried it in anger for years.
Nice, I'll have to give it another try!