whoops, you're right. i simplified the example wrong:
```julia
julia> isa((TypeVar(:T,String), Int64, Any), (Type{TypeVar(:T,Any)}...,))
false
```