What is the correct name of supertype(DataType)?

General Usage
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
1 Like
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.