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