As indicated above, the arguments to a prototype operator appearing in a prototype tree are all MP TypeSpecs. Two cases where the need for this arises are in the specification of structures and unions.