Considering what the type for req! should be https://github.com/clojure/clojure/blob/53b73bcc8cff905f4002ff8593db783b11060fa7/src/clj/clojure/core.clj#L1523
🧵
I'm thinking of using the same logic as get but refine the return value based on the knowledge that the entry exists. As opposed to disallowing maps that don't have the key, i.e.,
(req! {:a 1} :b) ;; type checkswe can infer Str return in that case.