singledispatch and TypeVar return type

It seems that singledispatch typing is not very accurate. In particular, it does not respect TypeVar used in the return type:

T = TypeVar("T")

@singledispatch
def my_fun(
    val: T,
) -> List[T]:
    return list(val)

my_fun(5)
my_fun("Ĝis la revido!")

Here the type of the returned value would always be revealed as List[T] instead of different types for different inputs.

まず、Python の singledispatch typing を使って例を再現し、関連する typeshed の定義を調べます。戻り値の型にある TypeVar がどのように扱われるかを確認します。異なる引数型での呼び出しから、それぞれに対応して特化された List の戻り値型が明らかになれば完了です。