State Monad Overview This module provides a simple state management system for Moonbit, inspired by the paper Functional Programming with Overloading and Higher-Order Polymorphism.