Wie kann ich diesen einfachen Code mit der Statusmonade schreiben?

Ich bin ein Anfänger bei Haskell und bin auf eine Situation gestoßen, in der ich die Staatsmonade benutzen möchte. (Zumindest denke ich, dass ich das gerne verwenden würde.) Es gibt eine Million Tutorials für die staatliche Monade, aber alle ...