I understand that DataType <: Type, since all types are subclasses of Type.
Intuitively, I also understand that isa(Float64, DataType). But
1. how can Type be both a super- and a subclass of DataType, when
super(Type{Float64})
and
Any <: DataType is false, and
2. how does this square with invariance? or that doesn't apply to types?
Sorry, I am just having a hard time visualizing the graph of types.
Best,
Tamas
