arrow-core / arrow.core.extensions.ior.monad
fun <L, A, B> ~~tailRecM~~(SL: Semigroup<L>, arg0: A, arg1: (A) -> Kind<Kind<ForIor, L>, Either<A, B>>): Ior<L, B>
Do you like Arrow?