“Modules with compile-time arguments” was the general structure of terminology I was going with when talking about an idea like this recently. (I assume this one is a similar concept, but it’s possible I’m projecting my own vision onto it, lol.)

“Parameterized modules” could work if Racket didn’t have two notions of “parameterization” and another notion of (run-time-)parameterized code units already.

Hard to deny that the ML family’s functors are the closest thing to a concise name this has….