Nesting subtype in parameter of a subtype

[Henrique_Becker]

@cadojo

struct ConcreteType{D, E<:AbstractSubType{A,B,C}} <: AbstractType{A,B,C}
  field::E
end

It may be related to this, maybe? It seems like the struct definition does not have a good mechanism to indicate which nested Types should be Type parameters and which nested Types are just types that exist and should be used as they are.