Failed partial type application experiment

TAB.scala

trait T[A, B]

object T { 
  def apply[A]: TA[A] = new TA[A] {}
  
  trait TA[A] { 
    type Type[B] = T[A, B]
    
    def apply[B]: TAB[B] = new TAB[B] {}
    
    trait TAB[B] {
      type Type = T[A, B]
    }
  }
}