Type problem

Correction: only A is library (it's really lift's Mapper) and B is a base for several A's. C is a trait that operates on an A, which we want to instantiate so that it should operate on various B derivatives.

-------------------------------------
Naftoli Gugenhem<naftoligug@...> wrote:

trait A[T <: A[T]]
trait B[T < B[T]] extends A[T]

trait C[T <: A[T]]
A and B are library defined.
How can I instantiate a C?