Added monad abstract.