Hi, I've now created a proper library proposal to keep Data.Map.foldWithKey. Exchange arguments and make up your mind until Jan. 15th. http://hackage.haskell.org/trac/ghc/ticket/4842 Cheers Christian