1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
package a {
sealed trait GenericList[U, M[_ <: U]] {
type Transformed[N[MMA <: U]] <: GenericList[U, N]
}
trait GenericCons[U, M[_ <: U], T <: GenericList[U, M]] extends GenericList[U, M] {
type Transformed[N[MMB <: U]] = GenericCons[U, N, GenericList[U, M]#Transformed[N]]
}
}
package b {
sealed trait GenericList[L, M[_ >: L]] {
type Transformed[N[MMA >: L]] <: GenericList[L, N]
}
trait GenericCons[L, M[_ >: L], T <: GenericList[L, M]] extends GenericList[L, M] {
type Transformed[N[MMB >: L]] = GenericCons[L, N, T#Transformed[N]]
}
}
|