arrow-recursion-data / arrow.recursion / AlgebraM

AlgebraM

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

Do you like Arrow?

Arrow Org
<