Lint/fix for when traverse can be traverse_ ?

[armanbilge]

Inspired by typelevel/otel4s#14 (comment). This seems hard and I'm not sure if it's actually possible without making some (arguably reasonable) assumptions like nobody wants a List[Unit] :)

[Daenyth]

Maybe a low-effort version would be to detect:

• _ <- foo.traverse(f)
• foo.traverse(f).void
• foo.traverse(f).as(b)
• foo.traverse.map(_ => anything)