Closing in... this works: (-> [] (ann-form (Vec Int)) (map #(inc %) [1 2]))
(-> [] (ann-form (Vec Int)) (map #(inc %) [1 2]))