Replacing MonadComp with MonadDES in the Task module.