*typealias D Union{A,B}*
*julia> **D <: Union{A,B}* *true* *Is this what you meant?* *So if the example code is a bug, does this mean Julia should have a recursive type tree?*
*typealias D Union{A,B}*
*julia> **D <: Union{A,B}* *true* *Is this what you meant?* *So if the example code is a bug, does this mean Julia should have a recursive type tree?*