trait Anything<T> {}

struct Foo<T, U: Anything<T>> {
    bar: U,
}