trait T[A,B] {
  type X[a <: A, b <: B] <: B
}