arrow-recursion-data / arrow.recursion / RCoalgebra

RCoalgebra

typealias RCoalgebra<F, T, A> = (A) -> Kind<F, Either<T, A>>

Do you like Arrow?

Arrow Org
<