What is wrong with my subtyping?

julia> abstract type Code{T<:Tuple} end

julia> abstract type Data{T<:Code} <: Code end
ERROR: invalid subtyping in definition of Data



Code isn’t a type you can subtype from. Code{Tuple{}} or something like Code{T} would be. All the type parameters in the parent type must be specified.