Document how to declare dependant types in method signatures

I have several TypedDict:

TerminateHandlerContextType = TypedDict( "TerminateHandlerContextType",{...},)
CrashHandlerContextType = TypedDict( "CrashHandlerContextType", {... },)
QuitHandlerContextType = TypedDict("QuitHandlerContextType", {...})

And then related Callable:

TerminateHandlerType = Callable[[TerminateHandlerContextType], None]
QuitHandlerType = Callable[[QuitHandlerContextType], None]
CrashHandlerType = Callable[[CrashHandlerContextType], None]

If I then declare a method that depends of both:

    def _call_handler(
    self,
    handler: Union[
        TerminateHandlerType, QuitHandlerType, CrashHandlerType
    ],
    context: Union[
         TerminateHandlerContextType, QuitHandlerContextType, CrashHandlerContextType,
    ],
    ):
        ...
        return handler(context) # <---- MYPY COMPLAINS HERE

Then mypy complains, because, while I always ensure logically that the proper handler is called with the proper context, it can't see that.

I couldn't find in the documentation a way to tell it that the context type depends on the handler type. I assume it's either a Generic, or a TypeVar, but didn't find the solution.

mypy 0.770
python 3.6

Nell’issue non sono indicati alcun file di documentazione, test o punto di ingresso. Determina innanzitutto quale sezione della documentazione di mypy tratta le relazioni dipendenti tra i tipi del handler e del contesto, quindi verifica l’approccio documentato con l’esempio di TypedDict e Callable. Il lavoro è completato quando la documentazione spiega come esprimere o gestire questa relazione e affronta il problema di controllo dei tipi segnalato.