Added the identity monad.