trait Foo where {}
struct Bar where {}
struct Bax where;
struct Baz(String) where;
impl<> Foo<> for Bar<> where {}