Type parameter T of TypeParameter.foo
invariant T, kind: TypeVar