Sergey Torgashov

@bjaglin , thank you for the clarification. Just for a record: as you might know, IntelliJ IDEA has its own "Organize Imports" tool. And looks like the most recent IDEA...

Although I don't know for sure the reasoning behind such naming conventions, my guess is that despite `Tuple1SemigroupalOps` name its methods do not require the `Semigroupal` typeclass actually – but...

I've just realized there's even a broader issue with `Tuple1`: depending on imports used, the `map` method for `Tuple1` can change its semantic dramatically. Check this out: ```scala import cats.syntax.functor._...

I've just realized (thanks, @isomarcte, for bringing it up) that `cats.kernel.UnboundedEnumerable` pretty much corresponds to `cats.collections.Discrete` from **cats-collections**. But the former is way more generic and well defined, I think....

Hi @massimosiani , sorry for the long reply. Looks like your PR got buried under a pile of others, although it looks pretty mature. Would you be interested to move...

> I just checked and for cats repo it seems to work much faster with Bloop, which makes me think that sbt is surely not ready yet for being the...

I think it would be a great addition indeed. However, I wonder why `orElse` and `orElseBy` were added to `Ordering`, but not `PartialOrdering`. And whether we'd like to address it...

That's right. So I think that in theory, `PartialOrder` could offer two different `orElse` like combinators, e.g. `orElseOnEqual` and `orElseOnUnrelated`. Then in `Order` the former one should be simply inherited...

>In spirit, yes. But partial orders return a comparison wrapped in an Option, while total orders omit the Option. > Interestingly, ZIO nicely avoids an Option by using a 4-branch...

> I'm reluctant to implement a orElseOnUnrelated combinator without a clear use case. Agree. I'm just trying to poke around different possibilities and outcomes. For example, if a method can...