E.g., Mypy and Pyright both support this: ```python from typing import NamedTuple NT = NamedTuple("NT", [("field", "NT | int")]) NT(1) NT(NT(0)) NT("foo") # error ```