<div dir="ltr">Well, I see. It'd be nice.<div><br></div><div>That aside, the absence of traverse_ doesn't seem to be intended (even the documentation for mapM_ says "mapM_ is just traverse_"!)<br><div class="gmail_extra"><br><div class="gmail_quote">2015-03-30 16:54 GMT+09:00 Herbert Valerio Riedel <span dir="ltr"><<a href="mailto:hvr@gnu.org" target="_blank">hvr@gnu.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">On 2015-03-30 at 07:05:56 +0200, Fumiaki Kinoshita wrote:<br>
<br>
[...]<br>
<span><br>
> I found out that (<>) (in Data.Monoid) is missing, also. It would be nice<br>
> to reexamine Prelude to export things we want to export.<br>
<br>
</span>Fwiw, (<>) was actually left-out as it wasn't required (it's just a an<br>
alias for `mappend`), *and* to keep our options open (or at least not<br>
make it more difficult) in terms of possible migration-plans available<br>
for the case we'd be moving 'Semigroup' to base/Prelude at some point in<br>
the future.<br>
<br>
</blockquote></div><br></div></div></div>