instance MonadState s m => MonadState s (ExceptT e m)
instance MonadRWS r w s m => MonadRWS r w s (ExceptT e m)