Например, будет у тебя Features<A, B, C, ..., X, Y, Z>. Понадобилось для каждой фичи написать impl, который будет возвращать новый тип, где вместо A..Z будет стоять Enabled или другое, более осмысленное название. Это 26 имплов, где для каждого нужно написать очень длинный тип, и алиасы типов в данном случае не помогут.