MonadFix instance required

Hi, I need a MonadFix instance for the Put monad so I can use the length of an expressions output as a parameter to construct the expression (for example, to output the offset to the end of a header at some place within the header itself).

I attempted to write the instance of MonadFix but there is excess strictness somewhere that causes the fixedpoint to be undefined: https://github.com/code5hot/binary/commit/551591dd05e3cb7769a2d61fdc16d8f45a69b88e#commitcomment-34039617

Any suggestions on how to complete this mfix implementation?

Commencez par l’implémentation de MonadFix tentée dans le commit 551591dd05e3cb7769a2d61fdc16d8f45a69b88e et examinez la stricte évaluation de la monade Put autour du point fixe. Le travail est terminé lorsqu’une instance de MonadFix peut utiliser la longueur de sortie d’une expression pendant la construction de cette expression sans produire de point fixe indéfini.

Rédigé par le modèle d'indexation à partir du texte de l'issue.