Even with just paths, it means that something like `(Foo<T>: Graph)` can't work (unless we use `Foo::<T>` there too).