Во многих современных языках сейчас есть такая штука — "placehodler" _ (подчеркивание),
которая работает например так

_ = 100; // ничего не происходит
(_, x, _) = (1, 2, 3); // x = 2;

Вопрос — а эта конструкция как-то формализована? Какой тип у "_" ? (зачем нужен тип — например чтобы передать его в шаблон и посмотреть что получится). Если названия типа нет — как бы вы назвали этот тип? (желательно одним коротким словом 3..5 символов)