Type Alias Coalgebra 

pub type Coalgebra<F, A> = Box<dyn Fn(A) -> <F as HKT>::Of<A>>;

A -> F<A> — an F-coalgebra, used in anamorphism.

Aliased Type

pub struct Coalgebra<F, A>(/* private fields */);