可摺疊
如果 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 尊重秩序（但對不同的分組不變）。