arrow-recursion-data / arrow.recursion / CVAlgebraM

CVAlgebraM

typealias CVAlgebraM<F, M, A> = (Kind<F, Cofree<F, A>>) -> Kind<M, A>

Do you like Arrow?

Arrow Org
<