Тут человек написал негодующую статью в ответ на мою про hierarchical free monads. Читаю, ржу. Люди совершенно не понимают позицию, с которой я высказываю аргументы. Это позиция высокоуровневого подхода, дизайна ПО "in large". А контраргументы оперируют на более низком уровне, более локальном. В итоге с контраргументами даже спорить не хочется, потому что у человека, видимо, нет необходимого бэкграунда, и так просто ему ничего не объяснишь. Например, я рассказываю о том, как списки констрейнтов при mtl аффектят рефакторинг, а чувак вопрошает, почему у меня там в примере эффект БД появляется, в неподходязем месте. Да какая разница почему, и какая разница, что именно БД. Да хоть эффект ядерного взрыва, поинт-то в другом, поинт на другом уровне абстракции находится.
https://boxbase.org/entries/2020/jun/29/hierarchical-free-monads-criticism/