arrow-recursion-data / arrow.recursion / CoalgebraM

CoalgebraM

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

Do you like Arrow?

Arrow Org
<