Type Alias Algebra 

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

F<A> -> A — an F-algebra, used in catamorphism.

Aliased Type

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