More principled solution for universal quantificatoin of non-Callable types

Currently we support a type like forall T . Foo[[x: T], T] by allowing to capture a generic callable with a ParamSpec. This is arguably hacky, and may fail in unpredictable ways. Also such types are not user-definable. At some point in distant future we may want to add a support for defining such types.

Không có tệp, bài kiểm thử hoặc điểm vào nào được nêu tên. Hãy bắt đầu bằng cách lần theo cách xử lý hiện có dựa trên ParamSpec đối với lượng từ hóa phổ quát trên các kiểu không phải Callable, sau đó xác định thiết kế cần thiết để hỗ trợ một cách có nguyên tắc và do người dùng định nghĩa; công việc được xem là hoàn tất khi bao gồm một phương án đã được thống nhất và phạm vi triển khai tương ứng.