标签::线性类型