Replacing MonadComp with MonadDES in module Server.