Akh continuation monad and monad transformer - View it on GitHub