Replacing MonadComp with MonadDES.