Structs

“Least upper bound” (common supertype)