Generic statics within generic functions

First off, please forgive my ignorance towards the current implementation and limitations of the compiler. The following may or may not be reasonably feasible. I'm not currently advocating for global generic statics as that can be tricky to implement correctly. I do, however, assume that static generics within a function body should be fairly trivial (to reason about, not necessarily implement). I imagine the instance of the static can be created at the same time as the instance of the function...