Странная ошибка с более-kinded типов в Скале 2.10.0 (работает с Скале 2.9.2)

Question

Этот код компилируется с Scala 2.9.2:

trait HK { 
    type Rep[A] 
    def unzip1[A, B, C[_]](ps: Rep[C[(A, B)]]): (Rep[C[A]], Rep[C[B]]) 
    def doUnzip1[A, B](ps: Rep[List[(A, B)]]) = unzip1(ps) 
} 

Но Scala 2.10.0 это не компилируется со следующей ошибкой (более высокая функция включенного языка включена):

[info] Compiling 1 Scala source to /home/klyuchnikov/code/hk/target/scala-2.10/classes... 
[error] /home/klyuchnikov/code/hk/src/main/scala/HK.scala:6: type mismatch; 
[error] found : HK.this.Rep[List[(A, B(in method doUnzip1))]] 
[error] required: HK.this.Rep[List[((A, B(in method doUnzip1)), B(in method unzip1))]] 
[error] def doUnzip1[A, B](ps: Rep[List[(A, B)]]) = unzip1(ps) 

Что здесь происходит? Каковы были изменения в более высоких типах в Scala 2.10?

P.S. Если я передаю параметры типа явно, то этот код компилируется:

trait HK { 
    type Rep[A] 
    def unzip1[A, B, C[_]](ps: Rep[C[(A, B)]]): (Rep[C[A]], Rep[C[B]]) 
    def doUnzip1[A, B](ps: Rep[List[(A, B)]]) = unzip1[A, B, List](ps) 
} 

Answer 1

выглядит как ошибка, скорее всего: https://issues.scala-lang.org/browse/SI-5330

Это должно быть зафиксировано в Scala 2.10.1, если вы не можете ждать, вы можете попросить освободить кандидата: http://www.scala-lang.org/2.10.1-RC3