Move Unpack[TD] -> ParamSpec substitution into Open Questions

Author: Daniel Sperber

peps/pep-0821.rst

@@ -191,17 +191,6 @@ and ``**kwargs``, which conflicts with ``Unpack[TD]``::
 
     Callable[[P, Unpack[KeywordTD]], R]  # Not allowed
 
-When specializing a generic type parameterized by a ``ParamSpec``, an
-unpacked ``TypedDict`` can be used as a type argument.
-This applies regardless of whether a ``Callable`` special form is
-involved::
-
-    type CallableP[**P] = Callable[P, Any]
-
-    h: CallableP[Unpack[KeywordTD]] = normal    # Accepted
-    h2: CallableP[Unpack[KeywordTD]] = kw_only  # Accepted
-    h3: CallableP[Unpack[KeywordTD]] = pos_only # Rejected
-
 Backwards Compatibility
 =======================
 
@@ -297,6 +286,17 @@ Rejected Ideas
 Open Questions
 ==============
 
+* Should this PEP explicitly allow a ``ParamSpec`` to be substituted by an
+  unpacked ``TypedDict`` in generic type arguments, independent of
+  ``Callable``? This would broaden the scope beyond ``Callable`` and would
+  apply to any generic parameterized by a ``ParamSpec``. For example::
+
+      type CallableP[**P] = Callable[P, Any]
+
+      h: CallableP[Unpack[KeywordTD]] = normal    # Accepted
+      h2: CallableP[Unpack[KeywordTD]] = kw_only  # Accepted
+      h3: CallableP[Unpack[KeywordTD]] = pos_only # Rejected
+
 * Should ``Unpack`` of a generic ``TypedDict`` be permitted inside
   ``Callable``? For example::