@@ -40,6 +40,11 @@ instance Ord k => Ixed (MonoidalMap k a) where
4040 Nothing -> pure (MM m)
4141 {-# INLINE ix #-}
4242
43+instance Wrapped (MonoidalMap k a) where
44+ type Unwrapped (MonoidalMap k a) = M.Map k a
45+ _Wrapped' = iso unpack pack
46+ {-# INLINE _Wrapped' #-}
47+
4348instance (Ord k, Monoid a) => Monoid (MonoidalMap k a) where
4449 mempty = MM mempty
4550 {-# INLINE mempty #-}