A partial template application literal syntax

[bearophile]

Denis Shelomovskij:

> Just want to mention about existent (and more flexible than 
> this syntax) library solution.
> Search for `Bind` here:
> https://bitbucket.org/denis_sh/misc/src/tip/stdd/typetuple.d

Its ddocs show this:

import std.traits;

static assert(is(staticBind!(CommonType, long, allArgs).Res!int 
== long));
static assert(!staticBind!(isImplicitlyConvertible, arg!0,   
int).Res!long);
static assert( staticBind!(isImplicitlyConvertible, int  , 
arg!0).Res!long);

alias staticBind!(staticMap, Unqual, allArgs).Res UnqualAll;
static assert(is(UnqualAll!(const(int), immutable(bool[])) T) &&
               T.length == 2 && is(T[0] == int) && is(T[1] == 
immutable(bool)[]));


I have understood the meaning and usage of those "type lambdas" 
that use ? in Scala as soon I have seen them, while I don't get 
much from this noisy stuff :-(

Bye,
bearophile