Я отчаянно пытаюсь решить следующее:
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 просто говорит: "error: illegal cyclic reference involving trait CList"
. как это сделать?