Remove redundant type annotation.

[takayahilton]

NonEmptyTraverse already inherits Reduceable.

[kailuowang]

I agree that if you already have NonEmptyTraversable then you don't need Reducible. The rest of the changes are probably misguided. Unfortunately there is quite some inconsistency and legacy complexty in the NonEmptyXXX datatypes, which is causing quite some confusion. I tried to unify them in a binary compatible way in this PR #2930, but the community cannot reach a consensus on what should be the best approach. To be fair, I reckon the risk of #2930 bringing even more confusion since it only unifies the code in 2.13 code branch, thus created more versions...

[takayahilton]

Thanks, I'll just remove Reducible.

[codecov-io]

Codecov Report

Merging #2980 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #2980   +/-   ##
=======================================
  Coverage   93.83%   93.83%           
=======================================
  Files         369      369           
  Lines        7068     7068           
  Branches      187      187           
=======================================
  Hits         6632     6632           
  Misses        436      436

Impacted Files	Coverage Δ
core/src/main/scala/cats/data/NonEmptyList.scala	100% <ø> (ø)	⬆️
core/src/main/scala/cats/data/NonEmptyVector.scala	100% <ø> (ø)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 9379851...2870dfc. Read the comment docs.