pub fn catamorphism_ty() -> Expr
Catamorphism : (Type → Type) → Type → Type
Fold over a recursive data type (Fix F).