arrow-core / arrow.core.extensions.andthen.monad
fun <X, A, B> ~~tailRecM~~(arg0: A, arg1: (A) -> Kind<Kind<ForAndThen, X>, Either<A, B>>): AndThen<X, B>
Do you like Arrow?