pub trait Trait0<T, U, V> {}
pub trait Trait1<T, U> {}
pub trait Trait2<T, U> {
    type Assoc;
}