Use core.typed defn