class Foo[+CC[X]] { type Coll = CC[_] }