Kenji, thanks again for understanding exactly what I meant.
I am a big fan of template features. I seriously hope D can do this in the future- the inability of the *template system* to deduce information about non-types is one of the big holes in C++:
We can deduce information at function scope, yet the templates cannot do it!
This is a strange imbalance of nature.