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?

Inizia con l’implementazione tentata di MonadFix nel commit 551591dd05e3cb7769a2d61fdc16d8f45a69b88e ed esamina la strictness della monade Put attorno al punto fisso. Il lavoro è completato quando un’istanza di MonadFix può usare la lunghezza dell’output di un’espressione mentre costruisce quell’espressione senza produrre un punto fisso non definito.

Scritto dal modello di indicizzazione a partire dal testo della issue.