помощью фри стрелки сделать фри контрмонаду...
Хотя нет,это не то... Всё-таки нужны контрмонады отдельно... Нужна какая-то другая абстракция... Повыше монад и пониже категорий и стрелок ...
Во-первых, я тут подумал, стрелку ищ контрмонады не сделать, потому что там вычисления идут в обратном направлении.
Обсуждают сегодня