pub fn fixpoint_ty() -> Expr
FixPoint : (Type → Type) → Type
Least/greatest fixed point Fix F = F (Fix F).