pub fn nu_ty() -> Expr
Nu : (Type → Type) → Type
Greatest fixed point (terminal coalgebra / coinductive type).