“не может экзистенциально абстрагировать по параметризованному типу …”

Я бездельничал с Scala 2.8 для забавы и пытался определить сутенера, который добавляет "как" метод для ввода конструкторов, позволяя преобразовывать от одного функтора до другого (пропустите то, что я не обязательно имею дело с функторами здесь). Так, например, Вы могли использовать его как это:

val array:Array[T]
val list:List[T] = array.as[List]

Таким образом, вот то, что я пытался сделать:

object Test {
    abstract class NatTrans[F[_], G[_]] {
        def convert[T](f:F[T]):G[T]
    }

    implicit def array2List:NatTrans[Array, List] = new NatTrans[Array, List] { 
        def convert[T](a:Array[T]) = a.toList
    }

    // this next part gets flagged with an error
    implicit def naturalTransformations[T, F[_]](f:F[T]) = new {
        def as[G[_]](implicit n:NatTrans[F, G]) = n convert f
    }
}

однако определение naturalTransformations отмечается с помощью ошибки, "не может экзистенциально абстрагировать по параметризованному типу G [T]". Для фиксации этого я могу переписать naturalTransformations наряду с дополнительным классом Transformable как так:

class Transformable[T, F[_]](f:F[T]) {
    def as[G[_]](implicit n:NatTrans[F, G]) = n convert f
}

implicit def naturalTransformations[T, F[_]](f:F[T]) = new Transformable[T, F](f)

и это, кажется, работает. Но кажется, что моя первая попытка должна была быть эквивалентной, таким образом, мне любопытно, почему это перестало работать и что означает сообщение об ошибке.