ParamSpec: bound, covariant, contravariant

I found that right now ParamSpec allows three kw-only arguments: bound=None, covariant=False, contravariant=False. Just like PEP612 states:

The runtime should accept bounds and covariant and contravariant arguments in the declaration just as typing.TypeVar does, but for now we will defer the standardization of the semantics of those options to a later PEP.

What are the use-cases for this? How can ParamSpec can be bound to a value? Or how can it be covariant? It does not seem to be semantically valid.

Maybe we should remove these arguments? What do others think?

まず PEP 612 と既存の ParamSpec 宣言を読み、その後、8 件のコメントからなる議論を確認して合意された方向性を把握してください。完了の条件は、bound、covariant、contravariant の引数に有効なセマンティクスがあるのか、それとも削除すべきなのかについて結論を出し、その後に対応するプロジェクトの変更を行うことです。