diff --git a/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Builders.kt b/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Builders.kt
index de970877bfe..47d9a1788ed 100644
--- a/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Builders.kt
+++ b/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Builders.kt
@@ -7,7 +7,6 @@ package arrow.core.raise
 import arrow.atomic.Atomic
 import arrow.atomic.updateAndGet
 import arrow.core.Either
-import arrow.core.EmptyValue.combine
 import arrow.core.Ior
 import arrow.core.NonEmptyList
 import arrow.core.NonEmptySet
@@ -22,18 +21,69 @@ import kotlin.experimental.ExperimentalTypeInference
 import kotlin.jvm.JvmMultifileClass
 import kotlin.jvm.JvmName
 
+/**
+ * Runs a computation [block] using [Raise], and return its outcome as [Either].
+ * - [Either.Right] represents success,
+ * - [Either.Left] represents logical failure.
+ *
+ * This function re-throws any exceptions thrown within the [Raise] block.
+ *
+ * Read more about running a [Raise] computation in the
+ * [Arrow docs](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#running-and-inspecting-results).
+ */
 public inline fun <Error, A> either(@BuilderInference block: Raise<Error>.() -> A): Either<Error, A> =
   fold({ block.invoke(this) }, { Either.Left(it) }, { Either.Right(it) })
 
+/**
+ * Runs a computation [block] using [Raise], and return its outcome as nullable type,
+ * where `null` represents logical failure.
+ *
+ * This function re-throws any exceptions thrown within the [Raise] block.
+ *
+ * Read more about running a [Raise] computation in the
+ * [Arrow docs](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#running-and-inspecting-results).
+ */
 public inline fun <A> nullable(block: NullableRaise.() -> A): A? =
   merge { block(NullableRaise(this)) }
 
+/**
+ * Runs a computation [block] using [Raise], and return its outcome as [Result].
+ *
+ *
+ * Read more about running a [Raise] computation in the
+ * [Arrow docs](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#running-and-inspecting-results).
+ */
 public inline fun <A> result(block: ResultRaise.() -> A): Result<A> =
   fold({ block(ResultRaise(this)) }, Result.Companion::failure, Result.Companion::failure, Result.Companion::success)
 
+/**
+ * Runs a computation [block] using [Raise], and return its outcome as [Option].
+ * - [Some] represents success,
+ * - [None] represents logical failure.
+ *
+ * This function re-throws any exceptions thrown within the [Raise] block.
+ *
+ * Read more about running a [Raise] computation in the
+ * [Arrow docs](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#running-and-inspecting-results).
+ */
 public inline fun <A> option(block: OptionRaise.() -> A): Option<A> =
   fold({ block(OptionRaise(this)) }, ::identity, ::Some)
 
+/**
+ * Runs a computation [block] using [Raise], and return its outcome as [Ior].
+ * - [Ior.Right] represents success,
+ * - [Ior.Left] represents logical failure which made it impossible to continue,
+ * - [Ior.Both] represents that some logical failures were raised,
+ *   but it was possible to continue until producing a final value.
+ *
+ * This function re-throws any exceptions thrown within the [Raise] block.
+ *
+ * In both [Ior.Left] and [Ior.Both] cases, if more than one logical failure
+ * has been raised, they are combined using [combineError].
+ *
+ * Read more about running a [Raise] computation in the
+ * [Arrow docs](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#running-and-inspecting-results).
+ */
 public inline fun <Error, A> ior(noinline combineError: (Error, Error) -> Error, @BuilderInference block: IorRaise<Error>.() -> A): Ior<Error, A> {
   val state: Atomic<Option<Error>> = Atomic(None)
   return fold<Error, A, Ior<Error, A>>(
@@ -46,6 +96,10 @@ public inline fun <Error, A> ior(noinline combineError: (Error, Error) -> Error,
 
 public typealias Null = Nothing?
 
+/**
+ * Implementation of [Raise] used by [nullable].
+ * You should never use this directly.
+ */
 public class NullableRaise(private val raise: Raise<Null>) : Raise<Null> by raise {
   @RaiseDSL
   public fun ensure(value: Boolean): Unit = ensure(value) { null }
@@ -84,6 +138,10 @@ public class NullableRaise(private val raise: Raise<Null>) : Raise<Null> by rais
   }
 }
 
+/**
+ * Implementation of [Raise] used by [result].
+ * You should never use this directly.
+ */
 public class ResultRaise(private val raise: Raise<Throwable>) : Raise<Throwable> by raise {
   @RaiseDSL
   public fun <A> Result<A>.bind(): A = fold(::identity) { raise(it) }
@@ -117,6 +175,10 @@ public class ResultRaise(private val raise: Raise<Throwable>) : Raise<Throwable>
   )
 }
 
+/**
+ * Implementation of [Raise] used by [option].
+ * You should never use this directly.
+ */
 public class OptionRaise(private val raise: Raise<None>) : Raise<None> by raise {
   @RaiseDSL
   public fun <A> Option<A>.bind(): A = getOrElse { raise(None) }
@@ -159,6 +221,10 @@ public class OptionRaise(private val raise: Raise<None>) : Raise<None> by raise
   }
 }
 
+/**
+ * Implementation of [Raise] used by [ior].
+ * You should never use this directly.
+ */
 public class IorRaise<Error> @PublishedApi internal constructor(
   @PublishedApi internal val combineError: (Error, Error) -> Error,
   private val state: Atomic<Option<Error>>,
diff --git a/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Fold.kt b/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Fold.kt
index 1021ed3a8b7..a89b46b9ec5 100644
--- a/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Fold.kt
+++ b/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Fold.kt
@@ -37,6 +37,13 @@ public suspend fun <Error, A, B> Effect<Error, A>.fold(
   return fold({ invoke() }, { catch(it) }, { recover(it) }, { transform(it) })
 }
 
+/**
+ * `invoke` the [Effect] and [fold] the result:
+ *  - _success_ [transform] result of [A] to a value of [B].
+ *  - _raised_ [recover] from `raised` value of [Error] to a value of [B].
+ *
+ * This function re-throws any exceptions thrown within the [Effect].
+ */
 public suspend fun <Error, A, B> Effect<Error, A>.fold(
   recover: suspend (error: Error) -> B,
   transform: suspend (value: A) -> B,
@@ -48,6 +55,15 @@ public suspend fun <Error, A, B> Effect<Error, A>.fold(
   return fold({ throw it }, recover, transform)
 }
 
+/**
+ * `invoke` the [EagerEffect] and [fold] the result:
+ *  - _success_ [transform] result of [A] to a value of [B].
+ *  - _raised_ [recover] from `raised` value of [Error] to a value of [B].
+ *  - _exception_ [catch] from [Throwable] by transforming value into [B].
+ *
+ * This method should never be wrapped in `try`/`catch` as it will not throw any unexpected errors,
+ * it will only result in [CancellationException], or fatal exceptions such as `OutOfMemoryError`.
+ */
 public inline fun <Error, A, B> EagerEffect<Error, A>.fold(
   catch: (throwable: Throwable) -> B,
   recover: (error: Error) -> B,
@@ -61,6 +77,13 @@ public inline fun <Error, A, B> EagerEffect<Error, A>.fold(
   return fold({ invoke(this) }, catch, recover, transform)
 }
 
+/**
+ * `invoke` the [EagerEffect] and [fold] the result:
+ *  - _success_ [transform] result of [A] to a value of [B].
+ *  - _raised_ [recover] from `raised` value of [Error] to a value of [B].
+ *
+ * This function re-throws any exceptions thrown within the [Effect].
+ */
 public inline fun <Error, A, B> EagerEffect<Error, A>.fold(recover: (error: Error) -> B, transform: (value: A) -> B): B {
   contract {
     callsInPlace(recover, AT_MOST_ONCE)
@@ -69,6 +92,14 @@ public inline fun <Error, A, B> EagerEffect<Error, A>.fold(recover: (error: Erro
   return fold({ throw it }, recover, transform)
 }
 
+/**
+ * The most general way to execute a computation using [Raise].
+ * Depending on the outcome of the block, one of the two continuations is run:
+ * - _success_ [transform] result of [A] to a value of [B].
+ * - _raised_ [recover] from `raised` value of [Error] to a value of [B].
+ *
+ * This function re-throws any exceptions thrown within the [Raise] block.
+ */
 @JvmName("_foldOrThrow")
 public inline fun <Error, A, B> fold(
   @BuilderInference block: Raise<Error>.() -> A,
@@ -82,6 +113,16 @@ public inline fun <Error, A, B> fold(
   return fold(block, { throw it }, recover, transform)
 }
 
+/**
+ * The most general way to execute a computation using [Raise].
+ * Depending on the outcome of the block, one of the three continuations is run:
+ * - _success_ [transform] result of [A] to a value of [B].
+ * - _raised_ [recover] from `raised` value of [Error] to a value of [B].
+ * - _exception_ [catch] from [Throwable] by transforming value into [B].
+ *
+ * This method should never be wrapped in `try`/`catch` as it will not throw any unexpected errors,
+ * it will only result in [CancellationException], or fatal exceptions such as `OutOfMemoryError`.
+ */
 @JvmName("_fold")
 public inline fun <Error, A, B> fold(
   @BuilderInference block: Raise<Error>.() -> A,
diff --git a/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Mappers.kt b/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Mappers.kt
index 4efa6d67340..c6cb52e977a 100644
--- a/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Mappers.kt
+++ b/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Mappers.kt
@@ -13,16 +13,19 @@ import kotlin.jvm.JvmName
 
 /** Run the [Effect] by returning [Either.Right] of [A], or [Either.Left] of [Error]. */
 public suspend fun <Error, A> Effect<Error, A>.toEither(): Either<Error, A> = either { invoke() }
+/** Run the [EagerEffect] by returning [Either.Right] of [A], or [Either.Left] of [Error]. */
 public fun <Error, A> EagerEffect<Error, A>.toEither(): Either<Error, A> = either { invoke() }
 
 /** Run the [Effect] by returning [Validated.Valid] of [A], or [Validated.Invalid] of [Error]. */
 @Deprecated(ValidatedDeprMsg, ReplaceWith("toEither()"))
 public suspend fun <Error, A> Effect<Error, A>.toValidated(): Validated<Error, A> = fold({ Validated.Invalid(it) }) { Validated.Valid(it) }
+/** Run the [EagerEffect] by returning [Validated.Valid] of [A], or [Validated.Invalid] of [Error]. */
 @Deprecated(ValidatedDeprMsg, ReplaceWith("toEither()"))
 public fun <Error, A> EagerEffect<Error, A>.toValidated(): Validated<Error, A> = fold({ Validated.Invalid(it) }) { Validated.Valid(it) }
 
 /** Run the [Effect] by returning [Ior.Right] of [A], or [Ior.Left] of [Error]. */
 public suspend fun <Error, A> Effect<Error, A>.toIor(): Ior<Error, A> = fold({ Ior.Left(it) }) { Ior.Right(it) }
+/** Run the [EagerEffect] by returning [Ior.Right] of [A], or [Ior.Left] of [Error]. */
 public fun <Error, A> EagerEffect<Error, A>.toIor(): Ior<Error, A> = fold({ Ior.Left(it) }) { Ior.Right(it) }
 
 @Deprecated(
@@ -45,14 +48,17 @@ public fun <Error, A> EagerEffect<Error, A>.getOrNull(): A? = getOrElse { null }
 
 /** Run the [Effect] by returning [Option] of [A], [recover] run the fallback lambda and returning its result of [Option] of [A]. */
 public suspend fun <Error, A> Effect<Error, A>.toOption(recover: suspend (error: Error) -> Option<A>): Option<A> = fold(recover) { Some(it) }
+/** Run the [EagerEffect] by returning [Option] of [A], [recover] run the fallback lambda and returning its result of [Option] of [A]. */
 public inline fun <Error, A> EagerEffect<Error, A>.toOption(recover: (error: Error) -> Option<A>): Option<A> = fold(recover) { Some(it) }
 
 /** Run the [Effect] by returning [Result] of [A], [recover] run the fallback lambda and returning its result of [Result] of [A]. */
 public suspend fun <Error, A> Effect<Error, A>.toResult(recover: suspend (error: Error) -> Result<A>): Result<A> =
   fold({ Result.failure(it)  }, { recover(it) }, { Result.success(it) })
+/** Run the [EagerEffect] by returning [Result] of [A], [recover] run the fallback lambda and returning its result of [Result] of [A]. */
 public inline fun <Error, A> EagerEffect<Error, A>.toResult(recover: (error: Error) -> Result<A>): Result<A> =
   fold({ Result.failure(it)  }, { recover(it) }, { Result.success(it) })
 
 /** Run the [Effect] by returning [Result] of [A], or [Result.Failure] if raised with [Throwable]. */
 public suspend fun <A> Effect<Throwable, A>.toResult(): Result<A> = result { invoke() }
+/** Run the [EagerEffect] by returning [Result] of [A], or [Result.Failure] if raised with [Throwable]. */
 public fun <A> EagerEffect<Throwable, A>.toResult(): Result<A> = result { invoke() }
diff --git a/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Raise.kt b/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Raise.kt
index fbfae26c7b7..007f6e90581 100644
--- a/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Raise.kt
+++ b/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/Raise.kt
@@ -31,7 +31,9 @@ public annotation class RaiseDSL
  *
  * The [Raise] DSL allows you to work with _logical failures_ of type [Error].
  * A _logical failure_ does not necessarily mean that the computation has failed,
- * but that it has stopped or _short-circuited_.
+ * but that it has stopped or _short-circuited_. The Arrow website has a
+ * [guide](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/)
+ * introducing [Raise] and how to use it effectively.
  *
  * The [Raise] DSL allows you to [raise] _logical failure_ of type [Error], and you can [recover] from them.
  *
@@ -248,6 +250,13 @@ public interface Raise<in Error> {
    */
   public operator fun <A> EagerEffect<Error, A>.invoke(): A = invoke(this@Raise)
 
+  /**
+   * Invoke an [EagerEffect] inside `this` [Raise] context.
+   * Any _logical failure_ is raised in `this` [Raise] context,
+   * and thus short-circuits the computation.
+   *
+   * @see [recover] if you want to attempt to recover from any _logical failure_.
+   */
   @RaiseDSL
   public fun <A> EagerEffect<Error, A>.bind(): A = invoke(this@Raise)
 
@@ -260,6 +269,13 @@ public interface Raise<in Error> {
    */
   public suspend operator fun <A> Effect<Error, A>.invoke(): A = invoke(this@Raise)
 
+  /**
+   * Invoke an [Effect] inside `this` [Raise] context.
+   * Any _logical failure_ raised are raised in `this` [Raise] context,
+   * and thus short-circuits the computation.
+   *
+   * @see [recover] if you want to attempt to recover from any _logical failure_.
+   */
   @RaiseDSL
   public suspend fun <A> Effect<Error, A>.bind(): A = invoke(this@Raise)
 
@@ -296,6 +312,11 @@ public interface Raise<in Error> {
     is Either.Right -> value
   }
 
+  /**
+   * Extracts all the values in the [Map], raising every [Either.Left]
+   * as a _logical failure_. In other words, executed [bind] over every
+   * value in this [Map].
+   */
   public fun <K, A> Map<K, Either<Error, A>>.bindAll(): Map<K, A> =
     mapValues { (_, a) -> a.bind() }
 
@@ -306,14 +327,29 @@ public interface Raise<in Error> {
     is Validated.Valid -> value
   }
 
+  /**
+   * Extracts all the values in the [Iterable], raising every [Either.Left]
+   * as a _logical failure_. In other words, executed [bind] over every
+   * value in this [Iterable].
+   */
   @RaiseDSL
   public fun <A> Iterable<Either<Error, A>>.bindAll(): List<A> =
     map { it.bind() }
 
+  /**
+   * Extracts all the values in the [NonEmptyList], raising every [Either.Left]
+   * as a _logical failure_. In other words, executed [bind] over every
+   * value in this [NonEmptyList].
+   */
   @RaiseDSL
   public fun <A> NonEmptyList<Either<Error, A>>.bindAll(): NonEmptyList<A> =
     map { it.bind() }
 
+  /**
+   * Extracts all the values in the [NonEmptySet], raising every [Either.Left]
+   * as a _logical failure_. In other words, executed [bind] over every
+   * value in this [NonEmptySet].
+   */
   @RaiseDSL
   public fun <A> NonEmptySet<Either<Error, A>>.bindAll(): NonEmptySet<A> =
     map { it.bind() }.toNonEmptySet()
diff --git a/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/RaiseAccumulate.kt b/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/RaiseAccumulate.kt
index ce7d09bc38a..f477e2b5306 100644
--- a/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/RaiseAccumulate.kt
+++ b/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/raise/RaiseAccumulate.kt
@@ -27,6 +27,10 @@ import kotlin.jvm.JvmName
 
 /**
  * Accumulate the errors from running both [action1] and [action2] using the given [combine] function.
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C> Raise<Error>.zipOrAccumulate(
@@ -47,6 +51,10 @@ public inline fun <Error, A, B, C> Raise<Error>.zipOrAccumulate(
 
 /**
  * Accumulate the errors from running [action1], [action2], and [action3] using the given [combine].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D> Raise<Error>.zipOrAccumulate(
@@ -69,6 +77,10 @@ public inline fun <Error, A, B, C, D> Raise<Error>.zipOrAccumulate(
 
 /**
  * Accumulate the errors from running [action1], [action2], [action3], and [action4] using the given [combine].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D, E> Raise<Error>.zipOrAccumulate(
@@ -93,6 +105,10 @@ public inline fun <Error, A, B, C, D, E> Raise<Error>.zipOrAccumulate(
 
 /**
  * Accumulate the errors from running [action1], [action2], [action3], [action4], and [action5] using the given [combine].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D, E, F> Raise<Error>.zipOrAccumulate(
@@ -119,6 +135,10 @@ public inline fun <Error, A, B, C, D, E, F> Raise<Error>.zipOrAccumulate(
 
 /**
  * Accumulate the errors from running [action1], [action2], [action3], [action4], [action5], and [action6] using the given [combine].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D, E, F, G> Raise<Error>.zipOrAccumulate(
@@ -147,6 +167,10 @@ public inline fun <Error, A, B, C, D, E, F, G> Raise<Error>.zipOrAccumulate(
 
 /**
  * Accumulate the errors from running [action1], [action2], [action3], [action4], [action5], [action6], and [action7] using the given [combine].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D, E, F, G, H> Raise<Error>.zipOrAccumulate(
@@ -177,6 +201,10 @@ public inline fun <Error, A, B, C, D, E, F, G, H> Raise<Error>.zipOrAccumulate(
 
 /**
  * Accumulate the errors from running [action1], [action2], [action3], [action4], [action5], [action6], [action7], and [action8] using the given [combine].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D, E, F, G, H, I> Raise<Error>.zipOrAccumulate(
@@ -209,6 +237,10 @@ public inline fun <Error, A, B, C, D, E, F, G, H, I> Raise<Error>.zipOrAccumulat
 
 /**
  * Accumulate the errors from running [action1], [action2], [action3], [action4], [action5], [action6], [action7], [action8], and [action9] using the given [combine].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D, E, F, G, H, I, J> Raise<Error>.zipOrAccumulate(
@@ -241,6 +273,10 @@ public inline fun <Error, A, B, C, D, E, F, G, H, I, J> Raise<Error>.zipOrAccumu
 
 /**
  * Accumulate the errors from running both [action1] and [action2].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C> Raise<NonEmptyList<Error>>.zipOrAccumulate(
@@ -259,6 +295,10 @@ public inline fun <Error, A, B, C> Raise<NonEmptyList<Error>>.zipOrAccumulate(
 
 /**
  * Accumulate the errors from running [action1], [action2], and [action3].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D> Raise<NonEmptyList<Error>>.zipOrAccumulate(
@@ -279,6 +319,10 @@ public inline fun <Error, A, B, C, D> Raise<NonEmptyList<Error>>.zipOrAccumulate
 
 /**
  * Accumulate the errors from running [action1], [action2], [action3], and [action4].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D, E> Raise<NonEmptyList<Error>>.zipOrAccumulate(
@@ -301,6 +345,10 @@ public inline fun <Error, A, B, C, D, E> Raise<NonEmptyList<Error>>.zipOrAccumul
 
 /**
  * Accumulate the errors from running [action1], [action2], [action3], [action4], and [action5].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D, E, F> Raise<NonEmptyList<Error>>.zipOrAccumulate(
@@ -325,6 +373,10 @@ public inline fun <Error, A, B, C, D, E, F> Raise<NonEmptyList<Error>>.zipOrAccu
 
 /**
  * Accumulate the errors from running [action1], [action2], [action3], [action4], [action5], and [action6].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D, E, F, G> Raise<NonEmptyList<Error>>.zipOrAccumulate(
@@ -351,6 +403,10 @@ public inline fun <Error, A, B, C, D, E, F, G> Raise<NonEmptyList<Error>>.zipOrA
 
 /**
  * Accumulate the errors from running [action1], [action2], [action3], [action4], [action5], [action6], and [action7].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D, E, F, G, H> Raise<NonEmptyList<Error>>.zipOrAccumulate(
@@ -379,6 +435,10 @@ public inline fun <Error, A, B, C, D, E, F, G, H> Raise<NonEmptyList<Error>>.zip
 
 /**
  * Accumulate the errors from running [action1], [action2], [action3], [action4], [action5], [action6], [action7], and [action8].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D, E, F, G, H, I> Raise<NonEmptyList<Error>>.zipOrAccumulate(
@@ -409,6 +469,10 @@ public inline fun <Error, A, B, C, D, E, F, G, H, I> Raise<NonEmptyList<Error>>.
 
 /**
  * Accumulate the errors from running [action1], [action2], [action3], [action4], [action5], [action6], [action7], [action8], and [action9].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B, C, D, E, F, G, H, I, J> Raise<NonEmptyList<Error>>.zipOrAccumulate(
@@ -440,6 +504,10 @@ public inline fun <Error, A, B, C, D, E, F, G, H, I, J> Raise<NonEmptyList<Error
 
 /**
  * Transform every element of [iterable] using the given [transform], or accumulate all the occurred errors using [combine].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B> Raise<Error>.mapOrAccumulate(
@@ -461,6 +529,10 @@ public inline fun <Error, A, B> Raise<Error>.mapOrAccumulate(
 
 /**
  * Accumulate the errors obtained by executing the [transform] over every element of [iterable].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B> Raise<NonEmptyList<Error>>.mapOrAccumulate(
@@ -481,6 +553,10 @@ public inline fun <Error, A, B> Raise<NonEmptyList<Error>>.mapOrAccumulate(
 
 /**
  * Accumulate the errors obtained by executing the [transform] over every element of [NonEmptyList].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B> Raise<NonEmptyList<Error>>.mapOrAccumulate(
@@ -490,6 +566,10 @@ public inline fun <Error, A, B> Raise<NonEmptyList<Error>>.mapOrAccumulate(
 
 /**
  * Accumulate the errors obtained by executing the [transform] over every element of [NonEmptySet].
+ *
+ * See the Arrow docs for more information over
+ * [error accumulation](https://arrow-kt.io/learn/typed-errors/working-with-typed-errors/#accumulating-errors)
+ * and how to use it in [validation](https://arrow-kt.io/learn/typed-errors/validation/).
  */
 @RaiseDSL
 public inline fun <Error, A, B> Raise<NonEmptyList<Error>>.mapOrAccumulate(