remove globals-fun so desugar blowup is not huge