читаю всякую хрень

И постепенно нарастает пессимизм.
Хаскельщики, ан масс, ни хера не понимаю в теории категорий.
Верят, что всякая монада сильна.
Верят, что на всякий функтор есть свободная монада.
Верят, что на всякий функтор есть свободный апликативный функтор.

Это обстановка примерно как в 1900-м году с теорией множеств, подход в стиле "а хуле, вот вам парикмахер, он бреет всех мужчин, кто сам не бреется, и только их". Причем при введении сильных типов решение состоит в том, чтобы нанять парикмахершу, но, как известно, джедаям типы не нужны.

Короче, если не читать всякую хуйню, то понимание сути вещей значительно усиливается. Хотя и не достигаешь просветления; для этого нужно читать правильные вещи.

и всяческая суета

Не только хаскель.
Вообще.

Вот Катя Шульман рассуждает о Человеческой Природе.
Или Михаил Берг рассуждает о Человеческой Природе.

При всем моем признании интеллекта рассуждающих, извините, но откуда вы что берете? Откуда ваши аксиомы, и почему вы решили, что ваши аксиомы являются истинными? Аксиома - это ж просто гипотеза. Из них, из аксиом, строится теория.

Да, я знаю, вата - мерзкое мудачье.

Но нельзя же контравату строить на мечтательных каких-то гипотезах. Мол начальство то, начальство се.

Давайте начнем с того, что откинем гипотезу существования начальства. Это просто вооруженные бандиты, эти ваши Путины, Сечины, вся эта свара тонко- и толстошеих вождей.