Variants of this idea have indeed been discussed, like in Extract kwargs types from a function signature (and I vaguely remember other related topics in the Typing category).
I definitely think there’s something needed in this space, but it may need to wait until the bases of typing specification are stable enough.