Consider adding a "TopLevel" keyword that stands in for the top level bound of a corresponding type variable

Summary

Please consider a new typing keyword that stands in for the top level type of a corresponding type variable.

Motivation

Consider a test here and the corresponding definition of DistributionInfo here. The test loses all typing information because I used DistributionInfo[Any, Any, Any]. So if I want typing information, I have to use:

def test_flatten(generator: Generator,
                 distribution_info: DistributionInfo[NaturalParametrization[ExpectationParmetrization, JaxComplexArray],
                                                     ExpectationParametrization[NaturalParmetrization],
                                                     NumpyComplexArray]) -> None:

I would much rather just do

def test_flatten(generator: Generator,
                 distribution_info: DistributionInfo[TopLevel, TopLevel, TopLevel]) -> None:

It's not just shorter, but it reduces churn if the type definitions change. Note that TopLevel is recursive (it chooses the top level of the nested types too).

Bắt đầu với các tests được liên kết là tests/test_flatten.py và tests/distribution_info.py để hiểu thông tin kiểu nào bị mất khi sử dụng DistributionInfo[Any, Any, Any]. Làm rõ ngữ nghĩa đệ quy dự kiến của TopLevel và điểm khác biệt của nó so với hành vi hiện có của biến kiểu. Công việc được xem là hoàn tất khi đề xuất có đặc tả chính xác và một phương án xác thực đã được thống nhất.