core-typed 2023-08-15

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