Use with-monad state-m in copy.