的参数所预期的类型。如果第二个参数必须与结果相同类型，则codice_10可以被看作是右结合的，如果是第一个参数则为左结合的。那些使用对称类型二元运算的折叠，它的二个参数的类型和它的结果的类型必须相同。
树状折叠.在组合函数是个原群的情况下，就是说它的类型是对称的，比如codice_41，就是说结果的类型同于列表元素的类型，则可以用任意方式放置括号，因而建立嵌套子表达式的“树”，比如codice_42。如果二元运算codice_10是结合律的，则这个值将是良好定义的，就是对于任何加