instance (Show k, Show e) => Show (FiniteMap k e) where
showsPrec p m = showsPrec p (fmToList m)
+instance Functor (FiniteMap k) where
+ fmap f = mapFM (const f)
+
-- ---------------------------------------------------------------------------
-- Adding to and deleting from @FiniteMaps@