Гаджет наследования для члена типа в стандарте?

При программировании с помощью шаблонов C ++ я часто нахожу полезным определить псевдоним типа с именем type, Я определил своего рода шаблон идентичности:

template <typename T>
struct id { using type = T; };

Мне очень нравится, что тогда я могу часто избегать вставлять что-либо между скобками определения класса; наследование от id специализация вместо. Тривиальный пример первичного шаблона может быть:

template <typename,typename>
struct Foo : id<void> {};

Делает что-то вроде id существуют в стандартной библиотеке; или повысить?