`fix` is a constant, it doesn't have free variables