Как реализовать глобальный счетчик с помощью Monad?

Мне нужен глобальный счетчик, начиная с 0, 1, 2, 3, ..... Я как бы понимаю, что этот "нечистый" код должен быть реализован отдельно ... Я только начинаю понимать Монаду, но понятия не имею, как реализовать этот глобальный счетчик с помощью Монады? Это может быть очень полезным примером для понимания того, возможно ли это