Как работают аргументы вложенного типа?

Почему объявление

Set<Set<String>> var = new HashSet<Set<String>>();

работает, а объявление

Set<Set<String>> var = new HashSet<HashSet<String>>();

задыхается?

Я знаю этот "верхний уровень" (не уверен, что это) Это правильная фраза) дженерики в объявлении играют по другим правилам, чем те, что находятся в заостренных скобках, но мне интересно узнать причину. Непростой вопрос для Google, поэтому я решил попробовать вас, ребята.