Is there type which is subtype of every other type in julia?
Void <: Int
return false.
Union{} the empty set/union
Union{}