Deprecation of Semigroup and Monoid

[serras]

• Const the whole type is being deprecated
• Ior
• Iterable
• NonEmptyList
• Option
• Pair
• Sequence
• map
• predef
• Validated the whole type is being deprecated
• continuations/*` the whole thing is being deprecated
• raise/RaiseAccumulate
• raise/Builders
• fx/ParTraverseValidated the whole file is being deprecated

[github-actions]

Kover Report

File	Coverage [55.54%]
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/Const.kt	0.00%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/Either.kt	57.86%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/Endo.kt	75.00%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/Ior.kt	59.22%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/Iterable.kt	84.74%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/NonEmptyList.kt	67.29%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/Option.kt	53.02%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/Pair.kt	0.00%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/Sequence.kt	61.59%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/Validated.kt	50.00%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/map.kt	66.29%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/predef.kt	100.00%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Builders.kt	97.92%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Raise.kt	77.50%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/typeclasses/Monoid.kt	17.81%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/typeclasses/Semigroup.kt	12.50%
arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/typeclasses/Semiring.kt	0.00%
arrow-libs/optics/arrow-optics/src/commonMain/kotlin/arrow/optics/Every.kt	6.11%

Total Project Coverage	43.16%

[nomisRev]

Thank you so much @serras for taking on this work! 🙏 🙌
A couple of remarks, and suggestions. Mostly about two things:

1. I think we missed a bunch of mapOrAccumulate implementation where now new methods for Validated have been introduced. Since mapOrAccumulate is defined over Raise<E>.(A) -> B it's compatible with both Validated and Either after users refactor away from Validated.

2. A couple of APIs I think we should deprecate all together with the removal of Semigroup rather than introduce new methods that were previously derived from Monad + Semigroup/Monoid or Applicative + Semigroup/Monoid.

[serras]

There's one missing point for this PR, which is what should be done with the tests using MonoidLaws and SemigroupLaws. I have no good answer, the best I can think of is moving Monoid and Semigroup to test once 1.2.0 is out.

[nomisRev]

MonoidLaws and SemigroupLaws.

Does it still make sense if we remove the typeclass? Otherwise I would say follow the same pattern as we do here. Replace with (E, E) -> E and (E, (E, E) -> E) and deprecate old ones.

That way you can still test String::plus and "", String::plus if you want to.

[nomisRev]

@serras I updated the PR, I think my changes need a thorough reverse review from you 😅

[nomisRev]

Looks great. Awesome work @serras 🙏 👏 🙌

[gutiory]

LGTM!
I've just left a thought, but it's just a thought related to replacements to depreacation methods. Feel free to use it or not 😄 .