i added this to help disambiguate between a `TypeVar` and a `typeassert`