RE: Proposal: keep Data.Map.foldWithKey