Монада продолжения для функции yield / await в Haskell

Я хочу создать тип автомата с таким типом:

Почему не может быть экземпляра MonadFix для продолжения монады?

Как мы можем доказать этопродолжение монада не имеет действительного экземпляра

Попытка применить CPS к переводчику

C # жду продолжения: не совсем то же самое?

После прочтенияОтвет Эрика Липперта [https://stackoverflow.com/a/4071015/33080]У меня сложилось впечатление, чтоawait а такжеcall/cc в значительной степени две стороны одной медали, с большинством синтаксических различий. Тем не менее, ...