Why wrapping the Data.Binary.Put monad creates a memory leak?

Question

I\'m trying to wrap the Data.Binary.Put monad into another so that later I can ask it questions like \"how many bytes it\'s going to write\" or \"what is the current positio

Answer 1

Did you tried to make the monad more strict? Eg. try to make the constructors of your datatyp strict / replace them with a newtype.

I don't know what's the exact problem here, but this is the usual source of leaks.

PS: And try to remove unnecessary lambdas, for instance:

  ma >>= f = Writer1M $ (write ma) >=> write . f