Fun with templates

[Dicebot]

On Saturday, 6 July 2013 at 15:05:51 UTC, Artur Skawina wrote:
> ...

It is not that simple. Consider:

void f(T)(T t)
{
     static if (T == Unqual!T)
     // one function body
     else
     // completely different one
}

Currently every template instance is completely independent and 
tied to exact type. I don't know of any tool to express "group of 
related types" concept in D other than built-in "inout".