Function template as template parameter

[Andrey Zherikov via Digitalmars-d-learn]

I have this (very simplified) code:
```d
void foo(alias callback)()
{
    callback!5;
}
static void print(int i)() { writeln(i); }
foo!print;
```

Is there a way to merge two last lines into one of a form like 
`foo!(...something...)`?

Note that callback parameter must be compile-time parameter as it 
represents a member of a type during introspection done by `foo`.