Replacing MonadComp with MonadDES in module Activity.