三角型类型