This came up last year, and again recently. The consensus came through to add them, and recently I believe I was nominated to put together a patch. <div><br></div><div>I&#39;ve just not been able to abrogate my other responsibilities long enough to break my build environment and set up a copy of HEAD and concoct a patch. ;)<div>
<br></div><div>The instances really have to live in Data.Foldable and Data.Traversable with the Foldable and Traversable classes otherwise you get messy orphan issues.</div><div><br></div><div>-Edward<br><div><br><div class="gmail_quote">
On Wed, Oct 10, 2012 at 12:04 PM, Merijn Verstraaten <span dir="ltr">&lt;<a href="mailto:merijn@inconsistent.nl" target="_blank">merijn@inconsistent.nl</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I noticed (to my great dismay!) that ((,) a) doesn&#39;t appear to have Foldable or Traversable instance anywhere, even though it is an (almost trivial) instance of both:<br>
<br>
instance Foldable ((,) a) where<br>
    foldMap f (_, x) = f x<br>
<br>
instance Traversable ((,) a) where<br>
    traverse f (a, x) = (,) a &lt;$&gt; f x<br>
<br>
I guess the most appropriate place for either would be Data.Tuple of Data.Foldable and Data.Traversable respectively.<br>
<br>
Kind regards,<br>
Merijn Verstraaten<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
</blockquote></div><br></div></div></div>