Travis Brown

@LukaJCB Do you still want to try to get this into 2.1?

I was just taking a look at this, and `contramapN` also requires a `Semigroupal` instance, so you'll need `contravariantSemigroupal` instead of `contravariant`, which does work now: ```scala import cats.Eq import...

@kevinmeredith You definitely _can_ provide the type parameters to resolve that issue, but you're far better off enabling `-Ypartial-unification` (or migrating to 2.13, where it's on by default), since this...

The fix in #3100 ended up breaking bincompat (MiMa missed it), so we had to revert it for now.

Strong :+1: from me. The `NonEmptyX` APIs are just generally an inconsistent mess and will need a major overhaul for 3.0. I've been avoiding this for the most part until...

@kailuowang Agreed. There will be some work involved in extricating `Reducible` and some of the other `cata.data` stuff, but I think it'd be worth it.

This is partially addressed by #3361. In the longer run we should consider what to do with `attemptNarrow` and `catchOnly` (probably we should just add documentation about the risks, but...

@lukoyanov The current plan I think is to keep it but with a `

The fix in #3105 ended up breaking bincompat (MiMa missed it), so we had to revert it for now.

Removing this from the 2.1.0-RC1 milestone in favor of the subset in #3146. I do think we should aim to get the `EitherT` enhancements merged at some point, so I...