example desugaring