Clarify: variadic positional parameters can be expressed with Callable

Author: Daraan

docs/spec/callables.rst

@@ -453,8 +453,8 @@ a function within a type expression. The syntax is
 
 Parameters specified using ``Callable`` are assumed to be positional-only.
 The ``Callable`` form provides no way to specify keyword-only parameters,
-variadic parameters, or default argument values. For these use cases, see
-the section on `Callback protocols`_.
+variadic keyword-only parameters, or default argument values. For these use
+cases, see the section on `Callback protocols`_.
 
 Meaning of ``...`` in ``Callable``
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -535,6 +535,14 @@ to be :term:`consistent` with any input parameters::
         f3: CallbackWithInt[...] = cb  # OK
         f4: CallbackWithStr[...] = cb  # Error
 
+
+Variadic positional parameter types can be defined with ``...`` in combination
+with an unpacked tuple of the form ``tuple[int, ...]``. The first argument
+specifies the type of the variadic parameters. For example, the
+following defines a callable that accepts any amount of integer arguments::
+
+    type VarCallback = Callable[[*tuple[int, ...]], None]
+
 .. _`callback-protocols`:
 
 Callback protocols