Provided a new factorization of the monad api, together with implementations of the continuation monad and the parser monad using it.