Re: Proposal: Non-allocating way to iterate over a Data.Map: traverseWithKey_

On Aug 4, 2013, at 9:49 AM, Milan Straka wrote:

The problem is that Data.Foldable offers many non-overloadable methods that are provided through the Foldable instance, notably traverse_ foldrM foldlM which could be implemented so that they iterate over all elements without allocating, but the Data.Foldable implementation allocates and cannot be overloaded.

Would it help if traverse_ was implemented with foldMap using the Traverse_ newtype? In which case maybe we should fix Data.Foldable! greetings, Sjoerd