scala - Scala での共用体型のサブタイピング

Question

Dottyで簡単に次のことができます：

trait Ex {type T <: Int | Seq[Int]; def f:T}

trait Ex2 extends Ex {override type T = Seq[Int]; override def f = Seq(2)}

trait Ex3 extends Ex {override type T = Int; override def f = 2}

Dottyなしでユニオン型のサブタイピングを行うにはどうすればよいですか?