pub fn paramorphism_ty() -> Expr
Paramorphism : (Type → Type) → Type → Type
Extended fold with access to the original sub-structure.