Akh state monad and monad transformer - View it on GitHub