Мощные типы = медленная компиляция. Поэтому типо транзитивно нарушают поток сознания
Фигня же. Типы - всего лишь инструмент. Если молоток нарушает твой поток сознания, то проблема не в молотке, а в том, что ты не умеешь работать со своим сознанием.
Вместо того, чтобы работать и выдавать лучшее решение задачи в существующих условиях, оно тебе затирает про "швабодку" и "ограничения". Вместо того, чтобы вникать и как можно лучше понять свойства инструмента и возможности выражения через него того, что надо, оно втирает "ой, мне тут мешают думать".