#3 to instance of MonadState, MonadWriter, MonadReader

But pass has nothing to do