class if_else(I,E)
{
}
template reduce(T)
{
//here,can't be complie becase if_else not instanced
//also there is  no way to alias the I and E
static if(is(T:if_else))
{
}else
{
}
}
void main()
{
}