pub type TechnicalCollectiveInstance = Instance2;