class Foo[A]
class Bar[CC[X] <: Foo[CC[X]]]