Shape of union-annotations
Shape of union-annotations