Template functions, can we make it more simple?

[SteveGuo]

> void foo(int)
> {}
>
> Is perfectly legal.

But we can make a compiler which think its illegal.