sealed trait T
case class A() extends T
case class B() extends T

val l : Seq[T]
val r : (Seq[A], Seq[B]) = l.???