Template functions, can we make it more simple?

[SteveGuo]

>
> The trouble with this is that sometimes people will use a type 
> without an identifier in order to indicate that the parameter 
> is not used:
>
> auto Foo(int, unsigned x)
>
> But also note that for lambdas, D does allow the form you 
> suggest, as there weren't backwards compatibility issues with 
> it.

I know there is no perfect things in the world, But I hope that D 
can approach the perfect,
Because I really love this language!

Thanks for inventing this beautiful language:)