Oℕ
T3 <: T1
T2 <: T1
T4 <: T3
Size: a a a
Oℕ
Oℕ
trait Level1 extends Level2{
T4[F] => T4[Trans[F]]
}
trait Leve2 extends Level3{
T2[F] => T2[Trans[F]]
T3[F] => T3[Trans[F]]
}
trait Level3 {
T1[F] => T1[Trans[F]]
Oℕ
trait Level1 extends Level2{
T4[F] => T4[Trans[F]]
T2[F] => T2[Trans[F]]
}
trait Leve2 extends Level3{
T3[F] => T3[Trans[F]]
}
trait Level3 {
T1[F] => T1[Trans[F]]
Oℕ
Oℕ
AV
Oℕ
AV
Oℕ
Oℕ
Oℕ
Oℕ
Oℕ
Oℕ
AV
Oℕ
Oℕ
Oℕ
Oℕ
Oℕ