I am trying to imagine doing something interesting with a template
that matches a function, and this seems challenging.

Does anyone know when such processing could be useful?

Cheers,
Dimitre Novatchev