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?

コミット 551591dd05e3cb7769a2d61fdc16d8f45a69b88e で試みられた MonadFix 実装から始め、固定点の周辺における Put モナドの strictness を調べてください。式を構築している間にその式の出力長を使用でき、未定義の固定点を生成しない MonadFix インスタンスを実現できれば完了です。

索引モデルが issue の本文から書いたものです。