Исправление q0tw4, (текущая версия) :
Для этого просто делают отдельный тип и используют его
И теряют фокус с do-нотацией. Вообще клево было бы если бы всякие нотации можно было самому реализовывать. Вот интересно, через темплейт-хаскель можно реализовать своё do хотя бы без оптимизаций? Вроде в окамле есть пакет с do нотацией который просто заворачивает код в лесенку лямбд-продолжений.
Исходная версия q0tw4, :
Для этого просто делают отдельный тип и используют его
И теряют фокус с do-нотацией. Вообще клево было бы если бы всякие нотации можно было самому реализовывать. Вот интересно, через темплейт-хаскель можно реализовать своё do хотя бы без оптимизаций?