arrow-recursion-data / arrow.recursion / RAlgebraM

RAlgebraM

typealias RAlgebraM<F, M, T, A> = (Kind<F, Tuple2<T, A>>) -> Kind<M, A>

Do you like Arrow?

Arrow Org
<