Hi Max,<br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
data M a = M { unM :: forall m. MonadPeelIO m =&gt; Reader.ReaderT () m a }<br>
<br>
It seems &quot;clear&quot; that there should be a MonadPeelIO instance for M,<br>
but I can&#39;t for the life of me figure it out. </blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
Have you (or the big brains on Haskell-Cafe, who are CCed) come across<br>
this before? Is there an obvious solution I am missing? </blockquote><div><br></div><div>I have not used monad-peel before so please ignore my comment if I am missing something obvious. The documentation mentions that &quot;Instances of MonadPeelIO should be constructed via MonadTransPeel, using peelIO = liftPeel peelIO&quot;. I think this would work at least in your simplified example as ReaderT is an instance of MonadTransPeel. Maybe you can take the same route with your actual transformer?</div>
<div><br></div><div>Sebastian</div></div><br>