More generally it is known as F-bound polymorphism, and it is a form of F-bounded quantification.
更一般地被称作F-bound polymorphism，是一类F 界量化（英语：F-bounded quantification）。