trait A = B;
trait A = B + C;
trait B<T> = Result + Iterator<T> + 'static + Sized;
trait C = for<'a, 'b: 'a> Foo<&'a Bar>;