Кажется, я сообразил. Если у нас монадические комбинаторы, то нам do нотация не нужна и мы можем использовать обычный letrec. Если же мы работаем со значениями, то нам приходится опускаться на уровень ниже (в do-нотацию) и там уже юзать монадический letrec. Скажем, если у тебя (+) принимал бы монады, а не значения, то <- превратилось бы в =.
Reply
Точнее, правда и есть. ;)
Reply
Leave a comment