Takes a recursive function and "undoes" the fix-point (syntactically)