but if you had something more complex like impl Foo for Bar where T: .... impl Foo for Bar where T: .... impl Foo for Bar where T: .... impl Foo for Bar where T: ....