убирание действительно никогда не нужны вещей поможет людям, которые случайно напишут то, что им не нужно (следует из того, что эта вещь никогда не нужна)
убирание действительно никогда не нужных вещей - это просто создание сложности и в языке и в имплементации на ровном месте без каких-либо плюсов. не давать случайно делать надо не ненужные вещи, а опасные
ворнинги в хаскеле ничего фактически не запрещают потому что плохо сделаны как ворнинги - это такие мальчики которые 1024 раз крикнут "волк" на один случай реального появления волка. паттерн-матч-чекер нормальный в гхц все никак не сделают и мож так и не сделают никогда