arrow-recursion-data / arrow.recursion / RCoalgebraM

RCoalgebraM

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

Do you like Arrow?

Arrow Org
<