scala> type T = ExistIndir[String with Foo, _]
defined type alias T

scala> typeOf[T].normalize
res2: $r.intp.global.Type = ExistIndir[String with Foo, _ <: String with Foo]