desugarize

not defined yet