[Haskell-cafe] MonadPeelIO instance for monad transformers on top of "forall"

[Max Bolingbroke]

On 5 February 2011 04:19, Anders Kaseorg <andersk at mit.edu> wrote:
> Just to demonstrate that I didn’t use the triviality of ReaderT (), here’s
> a less trivial example with ReaderT and StateT:

This is superb, thank you! I would never have come up with that :-)

It still seems to fail somehow on my real example, but I'm confident I
can get it working now.

Many thanks!
Max