Почему я получаю строку, не называющую тип Ошибка?

Я отчаянно пытаюсь решить следующую проблему:

trait Access[Res[_]] { def access[C]: Res[C] }

trait CList[C1, A] extends Access[CList[_, A]] // ?!

def test[C1, C2, A](c: CList[C1, A]): CList[C2, A] = c.access[C2]

scalac просто говорит: «ошибка: недопустимая циклическая ссылка, включающая признак CList» . как я могу сделать эту компиляцию?