foldMapは、次のような種類があります：あなたは部分的にあなたが得るfoldMapするidを適用した場合なぜ：トンのfoldMap ID降伏TM - > mではなく、TA - >メートル
foldMap :: (Foldable t, Monoid m) => (a -> m) -> t a -> m
を
foldMap id :: (Foldable t, Monoid m) => t m -> m
idを適用するとt aがt mに変更されるのはなぜですか？
idはfoldMap引数として取るときに、aはmと同じタイプであるように制約となることを意味するタイプx -> xです。この新しいタイプはnと呼んでください。 aはフリータイプの変数なので、nにある唯一の制約はmです。つまり、nはモノイドです。
この結果、idのアプリケーションのために、n -> nの初期値を削除した後に、タイプシグニチャ(Foldable t, Monoid n) => t n -> nが生成されます。これは、タイプ変数の名前が任意であるため、nのラベルを再度mに再ラベルした後に、あなたが観察するタイプシグネチャです。
aには制限がありませんが、mはモノイドでなければなりません。 idはモノイドを返さなければならないので、モノオイドも引数として取る必要があります。つまり、Foldableはモノイドをラップする必要があります。
つまり、foldMapのidは、Foldable以上の単調な値で構成されています。