Update Foldable.scala

[lloydmeta]

I think in traverse_ what is discarded is the B in G[B], rather than the A in the original F[A].

[juanpedromoreno]

Thanks for your time @lloydmeta .

It's written according to https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/Foldable.scala#L204

Therefore:

This method is primarily useful when `G[_]` represents an action or effect, and the specific `A` aspect of `G[A]` is not otherwise needed.

Does it make sense to you?

[lloydmeta]

I think that sentences is OK if it was read by itself in isolation (in which case A is clearly just a placeholder example type parameter), but that is not the case in cats nor this tutorial.

In both cases, they follow reference of a G[B] right within the same comment block and in cats, that sentence is right above the type signature where G[B] is used.

As a reader, you start off reading about A values in F[A] being mapped into G[B], then all of a sudden you're reading about G[A], and need to back track to try and figure out what the writer was trying to say.

[juanpedromoreno]

Got it, thanks for the detailed explanation.

It makes totally sense. Thanks!