Access underlying type of sequence (Scala)

Question

package p {
 trait A{ type B }
}

trait C {
  val D: Seq[p.A]

  def m(t: D. ...) = ???
}

I would like to refer to type p.A through