律这里的codice_38在Haskell中指示。尤其是，它允许为各种搜集定义逐个元素的运算。此外，如果和是两个函子，自然变换是多态类型formula_2的函数，它遵守formula_3：如果formula_6函数是按上述类型定义那样用参数多态定义的，这个规定总是满足的。
优化.映射的数学基础允许很多。复合定律确保了如下二者：导致相同的结果；就是说formula_7。但是第二种形式比第一种形式在计算上更加有效率，因为每个codice_1要求从头重建整个列表。因此，