Hey all,<br><br>I&#39;ve been trying to access the inner state &quot;s&quot; for this type:<br><br>newtype TestThingey s a = TestThingey {<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; runTrans :: ReaderT Int (StateT String (StateT s IO)) a<br>} deriving (Monad, MonadIO, MonadState String, MonadReader Int)<br>
<br>It doesn&#39;t seem to be doable.&nbsp; I could make it into a regular type declaration, but then I lose the GeneralizedNewtypeDeriving.&nbsp; Is this common?&nbsp; Or do people just avoid needing to use &quot;lift&quot;?<br><br>-Arthur<br>