Fiddling around with desugaring