vacuous type

Вырожденный тип (данных)