undo for desugaring