如何使用Monad实现全局计数器

如何使用Monad实现全局计数器