Update pep-0696.rst

Author: hyperkai

peps/pep-0696.rst

@@ -44,12 +44,19 @@ Motivation
        value: T | None = None
 
    # The type argument isn't specified.
-   reveal_type(Box()) # type is Box[int]
+   reveal_type(Box())  # type is Box[int]
+
+   # The type argument is specified with '[]'.
+   reveal_type(Box[str]())  # type is Box[str]
 
    # The type argument is specified with
-   # the type inference by an assigned value
+   # the type inference by an assigned value.
    reveal_type(Box(value="Hello World!"))  # type is Box[str]
 
+   # The type argument is specified with '[]' but not with the type
+   # inference by an assigned value because '[]' is prioritized.
+   reveal_type(Box[str](value="Hello World!"))  # type is Box[str]
+
 One place this `regularly comes
 up <https://github.com/python/typing/issues/975>`__ is ``Generator``. I
 propose changing the *stub definition* to something like::