pub fn f_bounded_polymorphism_ty() -> Expr
FBoundedPolymorphism: F-bounded quantification ∀ X <: F[X]. U