```java
public class Exist<T extends String, U extends T>
```

```scala
type T = Exist[String with Foo, _] // what bounds do you end up with for the existential here?  `_ <: String with Foo`? Or `_ <: T`? The latter will be ill-scoped.
```