Desugar and export