How to lift MonadWriter's listen method parametrically?

Learn
5

This is the comment I was referring to: jumper149 comments on How to analyze the run-time/amortization of Monads?

So perhaps ComposeT can be used?

I haven’t checked if this would fit your needs.