可折叠
如果 t 是 Foldable，则意味着对于任何值 t a，我们知道如何以固定的线性顺序从 t a 的内部访问 a 的所有元素。这就是 foldMap::Monoid m => (a -> m) -> (t a -> m) 的含义：我们用摘要函数访问每个元素并将所有摘要粉碎在一起。Monoids 尊重秩序（但对不同的分组不变）。
如果 t 是 Foldable，则意味着对于任何值 t a，我们知道如何以固定的线性顺序从 t a 的内部访问 a 的所有元素。这就是 foldMap::Monoid m => (a -> m) -> (t a -> m) 的含义：我们用摘要函数访问每个元素并将所有摘要粉碎在一起。Monoids 尊重秩序（但对不同的分组不变）。