IFTI for constructors worth a DIP?

[Dmitry Olshansky via Digitalmars-d]

I think it should be mostly stright-forward and we can get rid of 
“instantiator” functions to do IFTI.

The problem (I guess) is 2 type parameter lists, one of aggregate 
and the other of function:

struct Foo(T)
if (isSomeSuch!T)
{
    this(U)(T a, U u) if (isSomethindElse!U) {...}
    this(R)(T x, R r) if (yetAnother!U){ ... }
}

I believe in such a case compiler can as far as IFTI goes just 
consider a combined tuple of types.

Thoughts?