во втором это вроде исправили

кто там спрашивал, чем перегрузки мешают выводу, вот пример

Я отвечал на первоначальный вопрос: "почему выводятся разные типы для вычитания и для прибавления отрицательного числа". Для отрицательного числа нат вывестись не может никак, потому что отрицательное число — точно не нат, а дальше preservation.
При этом, если уж мы неотрицательные литералы выводим как Nat, то дальше снова preservation диктует выводить выражение как Nat, вычитание там, умножение или что угодно ещё.

мне нравится

А картинки в статье кто-нить видит?

Уроды😡

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

Да

пока он не начал говорить про определения то мне нравилось

а потом какой-то трешачок

Чо там дедфуд сказал вкрации?

говно ваша статья

Ну тут и к гадалке не ходи кек

Хабр же

Откуда столько лайков 🧐

Боюсь люди прочитали заголовок и, тут же согласившись, нажали кнопочку )))

Трудно найти предложение, в котором не будет ошибки