undoDesugaring => ensugar