<div dir="ltr"><div>Yes there is.</div><div><br></div>For existing code if anybody has already explicitly hidden it from Data.Foldable, so they can work with traverse_ from some specific container type, they'd now get slapped with it on the backswing by Data.Traversable.<br><br>import Data.Foldable hiding (traverse_)<div>import SomeContainer</div><div>import Data.Traversable</div><div><br></div><div>main = something that used a monomorphic traverse_ from SomeContainer<br><br>This is sort of like how users get hammered with Control.Monad methods from all of the Control.Monad.Foo modules today, where it can be remarkably hard to hide all the attempts they make to shove the same fail, join, etc. down your throat.</div><div><div><div><div><br></div><div>-Edward</div></div></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jul 25, 2016 at 9:15 PM, Christopher Allen <span dir="ltr"><<a href="mailto:cma@bitemyapp.com" target="_blank">cma@bitemyapp.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Any reason not to do it? I realize it needs Foldable, but even knowing<br>
that I still forget it's in Data.Foldable. Seems like a free UX win to<br>
me.<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br></div>