本质上就是 Glue 的一个三角形特化，sufficient for proving univalence