Ondra Pelech

@adamgfraser sounds good! Your implementation is also more elegant :+1: And we could have "both": ```scala // Traversable def collectFirst[G[+_]: IdentityBoth: AssociativeEither: Covariant, A, B](fa: F[A])(f: A => G[B]): G[Option[B]]...

Sorry for such a late response :crying_cat_face: I really like this :+1: ```scala object Associative { ... implicit def fromEither[G[+_]: AssociativeEither : Covariant,A] : Associative[G[A]] = Associative.make[G[A]](_ orElse _) }...

@adamgfraser @jdegoes Interesting proposal. What do you guys think of it? Should we just change our current `Invariant`? Or make this new proposed a parent of our current `Invariant`? I...

Scala 3 doesn't like it :disappointed: ... Maybe a workaround, like renaming to `isSuccessVAnything` is needed? :shrug:

> FutureCommutativeEither for example seems broken Wow, thanks for finding this. Any help with fixing the instance would be much appreciated :bow:

Also, as a stretch goal, do you think, you could implement analogous methods (`forany1` and `foranyPar1`) on `NonEmptyTraversable`? :pray: Those could return `G[B]` straight, without Option, since the collection is...

I see there's a conflict. Could you please resolve it @Badmoonz ? :pray:

You will also need to run `fix` to make the linter happy :smile_cat:

Do you think you could also try the NonEmptyTraversable variants? :pray: https://github.com/zio/zio-prelude/pull/424#issuecomment-731767795

Here's a successfully published build from master (`fb4fcc1`) from 11th Dec. https://github.com/zio/zio-prelude/actions/workflows/ci.yml?query=branch%3Amaster https://github.com/zio/zio-prelude/runs/4491936389?check_suite_focus=true#step:5:533 https://oss.sonatype.org/content/repositories/snapshots/dev/zio/zio-prelude_2.13/1.0.0-RC8+14-fb4fcc12-SNAPSHOT/ https://oss.sonatype.org/content/repositories/snapshots/dev/zio/zio-prelude_2.13/1.0.0-RC8+14-fb4fcc12-SNAPSHOT/zio-prelude_2.13-1.0.0-RC8+14-fb4fcc12-SNAPSHOT.pom