允许很多。复合定律确保了如下二者：导致相同的结果；就是说formula_7。但是第二种形式比第一种形式在计算上更加有效率，因为每个codice_1要求从头重建整个列表。因此，编译器将尝试将第一种形式变换第二种形式；这种类型的优化叫做“映射融合”，是的函数式类似者。映射函数可以并经常依据fold比如codice_42来定义，这意味着可以做“map-fold融合”：codice_43等价于codice_44。在一个单链表上的map实现不是尾递归的，所以它在调用于大型列表的时候，可能在栈上建造大量的帧。