arrow-core / arrow.core.extensions.tuple2.monad
fun <F, A, B> ~~tailRecM~~(MF: Monoid<F>, arg0: A, arg1: (A) -> Kind<Kind<ForTuple2, F>, Either<A, B>>): Tuple2<F, B>
Do you like Arrow?