Я неправ; F-bounded polymorphism - это несколько иное. Но здесь действительно используется возможность определить класс, содержащий метод, принимающий параметр типа этого класса. Такой класс тоже можно рассматривать, как наименьшую фиксированную точку уравнения.