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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
