A way to relax param-spec -- AnyLike

What what i would really like is https://github.com/python/typing/issues/1506
however mapping types is pretty complex and general.

Consider something like Dask's client.submit
submit[T, **P](self, func: Callable[P, T], *args: P.args, **kwargs: P.kwargs) -> Future[T]
What it actually wants is any type in the outer arguments can be
either the original type Q, in P.args or P.kwargs, or Future[Q].

But specifying that is a bit fiddly.

A less complex thing would be to introduce a special form AnyLike
which can be run as

submit[T, **P](self, func: Callable[P, T], *args: AnyLike[P].args, **kwargs: AnyLike[P].kwargs) -> Future[T]
which would have the effect of allowing the types in
args to be Any but the number must match that in the paramspec P,
and similar the types in kwargs can be Any but the names must till match those in the paramspec P

Bắt đầu bằng việc đọc typing issue 1506 và đề xuất sử dụng AnyLike cho client.submit của Dask. Xác định ngữ nghĩa dự kiến cho P.args và P.kwargs, bao gồm số lượng đối số và tên từ khóa, đồng thời xem xét đề xuất này phù hợp với hành vi hiện có của ParamSpec như thế nào; hoàn tất nghĩa là đạt được một đặc tả được thống nhất cho special form mới.