Beginning of updates to the simplified monad