Observations

Месяц не катался, все шибко был занят, лекции, курсера, работа, ремонт; фигня, короче. В результате месяц ломал голову, как так "свободная монада" оказывается вообще монадой.

Вот сейчас поехал прошвырнулся, во все разобрался, напишу сегодня.

Вкратце: надо построить минимальный фикспойнт, через копредел. Через копредел все и доказывается; ассоциативность в том числе.

А на хаскеле и на скале столько всякого бреда понаписано, о-о-о!... вот напишу ужо, и буду критиковать ходить. Нельзя же так же.