// CATAMORPHISM
output_type catamorphism_algebra(
  expression_r<output_type> const& e);

// PARAMORPHISM
output_type paramorphism_algebra(
  expression_r<std::pair<output_type, expression const*>> const& e);