带* args的Callables的类型注释

Question

我知道如何对带参数的函数进行类型注释。

def function(text: str, *args: int) -> None:
    print(text)
    for arg in args:
        print(arg)

但是，我的问题是，当另一个函数将其作为输入时，我不知道它是什么样的：

def introduce(foo: Callable[[str, XXX], None], text: str, *args: int) -> None:
    print("Enter...")
    foo(text, *args)
    print("Exit...")

introduce(function, "Hello, World!", (1, 2, 3))

自然，XXX代表*args应该是的东西。但是，我无法弄清楚，而且我无法直觉那里的东西。我不认为它是int，因为这恰好暗示了一个继续进行的价值。实验使我失败了。