arrow-recursion-data / arrow.recursion / CVCoalgebra

CVCoalgebra

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

Do you like Arrow?

Arrow Org
<