I think it'd be most elegant if we avoid the inner/outer structure, write the function generically without calling an inner function, and then teach the compile

I think it'd be most elegant if we avoid the inner/outer structure, write the function generically without calling an inner function, and then teach the compiler to automatically factor out the non-generic part of the function as an optimization.