Well, I see. It'd be nice.

That aside, the absence of traverse_ doesn't seem to be intended (even the documentation for mapM_ says "mapM_ is just traverse_"!)

2015-03-30 16:54 GMT+09:00 Herbert Valerio Riedel <hvr@gnu.org>:
On 2015-03-30 at 07:05:56 +0200, Fumiaki Kinoshita wrote:

[...]

> I found out that (<>) (in Data.Monoid) is missing, also. It would be nice
> to reexamine Prelude to export things we want to export.

Fwiw, (<>) was actually left-out as it wasn't required (it's just a an
alias for `mappend`), *and* to keep our options open (or at least not
make it more difficult) in terms of possible migration-plans available
for the case we'd be moving 'Semigroup' to base/Prelude at some point in
the future.