Merging a big enhancement in local type inference. In many cases, you won't need to annotate local functions any more, e.g., (map #(+ %1 %2) [1] [2]) . Before: (map (t/fn [x :- t/Int, y :- t/Int] (+ x y)) [1] [2])

I think with a few more tweaks I can extend this to transducers like (into [] (map #(inc %)) [1 2]).