*args,**kwargsを持つ関数の型ヒント

Question

開発しているライブラリではユーザーにコールバック関数を登録してもらいます．
ライブラリでは第一引数が異なる何種類かのコールバックを扱うため，型ヒントが必要です．
しかし，Callable[[str,...],T]はエラーとなり，Callable[..., T]では第一引数の型が示されません．

以下の関数funcの型はtypingでどのように表現できますか？

from typing import Callable, TypeVar
T = TypeVar('T')

def func(text: str, *args, **kwargs) -> T:
    pass

func: Callable[[str, ...], T]
# TypeError: Callable[[arg, ...], result]: each arg must be a type. Got Ellipsis.

func: Callable[..., T]
# エラーはないが第一引数の型の情報が得られない

Answer 1

ドキュメントに

There is no syntax to indicate optional or keyword arguments; such function types are rarely used as callback types. Callable[..., ReturnType] (literal ellipsis) can be used to type hint a callable taking any number of arguments and returning ReturnType. A plain Callable is equivalent to Callable[..., Any], and in turn to collections.abc.Callable.

つまり不可能，とのことでした．