pub fn chronomorphism_ty() -> Expr
Chronomorphism : (Type → Type) → Type → Type
Combined histomorphism + futumorphism.