Forgot to actually add desugaring function