Monoid 实例

Map k v 提供具有以下语义的 Monoid 实例：

• mempty 是空的 Map，即与 Map.empty 相同
• m1 <> m2 是 m1 和 m2 的左偏联合，即如果 m1 和 m2 中都存在任何键，那么 m1 的值将被选为 m1 <> m2。此操作也可以在 Monoid 实例之外作为 Map.union 使用 。