的所有实例，codice_37都在契约义务上要满足函子定律：fmap id ≡ id -- 同一律fmap (f . g) ≡ fmap f . fmap g -- 复合律这里的codice_38在Haskell中指示。尤其是，它允许为各种搜集定义逐个元素的运算。此外，如果和是两个函子，自然变换是多态类型formula_2的函数，它遵守formula_3：如果formula_6函数是按上述类型定义那样用参数多态定义的，这个规定总是满足的。
优化.映射的数学基础