pub type RAlgebra<F, A> = Box<dyn Fn(<F as HKT>::Of<(Fix<F>, A)>) -> A>;
F<(Fix<F>, A)> -> A — an R-algebra, used in paramorphism.
F<(Fix<F>, A)> -> A
pub struct RAlgebra<F, A>(/* private fields */);