@inline
iter :: (a -> b -> <e> ()) -> T a b -> <e,Proc> ()
iter f m = MSet.iter (\entry -> f (keyOf entry) (valueOf entry)) (entrySet m)
@inline
iter :: (a -> b -> <e> ()) -> T a b -> <e,Proc> ()
iter f m = MSet.iter (\entry -> f (keyOf entry) (valueOf entry)) (entrySet m)