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

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

Ответы на вопрос(1)

Ваш ответ на вопрос