A Complete Category Discrim symbol specifies that the generic parent instances will always belong to one of the sub-categories shown. All possible categories are displayed.