Patterns for functions in template parameters

[Kagamin via Digitalmars-d-learn]

Maybe, argument deduction?

template Foo(T: T[U], U)
{
     ...
}

Foo!(int[long])  // instantiates Foo with T set to int, U set to 
long