core-typed

2023-08-15T02:53:15.253379Z

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