How about a variation with:

```
public class Exist<T extends String, U extends T>
```

And at the same time, show you can selectively provide bounds for some existential type args, leaving others unbounded to pick up bounds from the corresponding type param.