arrow-recursion-data / arrow.recursion / CVCoalgebraM

CVCoalgebraM

typealias CVCoalgebraM<F, M, A> = (A) -> Kind<M, Kind<F, FreeR<F, A>>>

Do you like Arrow?

Arrow Org
<