# Good
julia> T = TypeVar(:T, Int, true)
T<:Int64

julia> T <: Int
true

# Bad
julia> T = TypeVar(:T, Union(Int,Float64), true)
T<:Union(Int64,Float64)

julia> T <: Union(Int,Float64)
false