This code could be used to make the current functor [Specialize]
more modular. But the benefit would be small (the new functor
would be used only once) and I do not want to break anything,
so I am saving this code in the attic for now.