How about:<br><br>instance (Monad m) =&gt; MonadState s (SStateT s m) where<br>
    get = S get<br>
    put s = S (put $ using s $ strategy m)<br><br>where our state monad has a strategy field?<br><br>Matthew<br>