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?

Comienza con la implementación de MonadFix intentada en el commit 551591dd05e3cb7769a2d61fdc16d8f45a69b88e e inspecciona la estrictitud de la mónada Put alrededor del punto fijo. Se considera terminado cuando una instancia de MonadFix puede usar la longitud de salida de una expresión mientras construye esa expresión sin producir un punto fijo indefinido.

Escrito por el modelo de indexación a partir del texto del issue.