Monoid 例項
Map k v 提供具有以下語義的 Monoid 例項：
mempty是空的Map，即與Map.empty相同m1 <> m2是m1和m2的左偏聯合，即如果m1和m2中都存在任何鍵，那麼m1的值將被選為m1 <> m2。此操作也可以在Monoid例項之外作為Map.union使用 。
Map k v 提供具有以下語義的 Monoid 例項：
mempty 是空的 Map，即與 Map.empty 相同 m1 <> m2 是 m1 和 m2 的左偏聯合，即如果 m1 和 m2 中都存在任何鍵，那麼 m1 的值將被選為 m1 <> m2。此操作也可以在 Monoid 例項之外作為 Map.union 使用 。