What is the correct name of supertype(DataType)?

question

#1

REPL responds with Type{T} to supertype(DataType), but
DataType <: Type{T}
is invalid. What is the correct name of supertype(DataType)?


#2
julia> DataType <: Type
true

#3

So, should the REPL respond with Type to supertype(DataType) instead of Type{T} ?


#4

Julia 0.6 made things more clear:

julia> DataType <: Type{T} where T
true

#5

Returning a type with free type variables seems suspicious on 0.6.