@hundreds-father-404: there is no "nesting" of unions (unless i missed something big)... but a type might be a member of multiple unions