中的辅助潜在类型