在arrow-kt v1.0中，ValidatedNel类型仍然是一个Applicative（Functor）。通过以下代码示例可以说明：

import arrow.core.* import arrow.core.extensions.list.applicative.map import arrow.core.extensions.validated.applicative.map

fun main() { val valid = Valid(2) val invalid = Invalid(nelOf("Oops"))

val validMapped = valid.map { it * 2 }
println(validMapped) // Valid(4)

val invalidMapped = invalid.map { it * 2 }
println(invalidMapped) // Invalid(NonEmptyList(all=[Oops]))

val list = listOf(1, 2, 3)
val multiply = { x: Int -> { y: Int -> x * y } }
val applicativeMap = ListK.applicative().map(list.k(), multiply)
println(applicativeMap) // [1, 2, 3, 2, 4, 6, 3, 6, 9]

val validSum = ValidatedNel.applicative().map(Valid(2), Valid(3), Valid(4)) { (a, b, c) -> a + b + c }
println(validSum) // Valid(9)

val invalidSum = ValidatedNel.applicative().map(Valid(2), Invalid(nelOf("Oops1")), Invalid(nelOf("Oops2"))) { (a, b, c) -> a + b + c }
println(invalidSum) // Invalid(all=[Oops1, Oops2])

}

在例子中，我们展示了ValidatedNel类型作为Applicative的例子。例如，将一个已经执行了map的Valid值和一个未执行map的Invalid值放到同一个map运算中。我们也演示了List的Applicative例子，将一个只包含三个整数的列表应用到一个将两个整数相乘的lambda表达式中，并获得一个含有九个元素的列表，这九个元素是原列表中每个元素应用lambda表达式得到的结果。