Hierarchy type can belong to union type