PEP Idea: Extend spec of Callable to accept unpacked TypeDicts to specify keyword-only parameters

[Daraan]

@jpe

Has there been any discussion of using something like the following to specify callable types –

def example_func(a: int, b: int) -> bool: ...
type example_func_type = typing.Signature[example_func]

Yes there are some ideas that go in that direction, in fact I started a discussion about this as well here, a larger one was made before here as well.
I remember at least one more, likely linked in the later one. There are quite a few flavors that exist for that idea.