fix f = f (& fix f)