12 Nov
2009
12 Nov
'09
6:53 a.m.
How about: instance (Monad m) => MonadState s (SStateT s m) where get = S get put s = S (put $ using s $ strategy m) where our state monad has a strategy field? Matthew