Added MonadState and MonadState instances