arrow-recursion-data / arrow.recursion / CVAlgebra

CVAlgebra

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

Do you like Arrow?

Arrow Org
<