Tuple IFTI with implicit conversions

[BCS]

Reply to Reiner,

> (A follow-up from "Any ideas for lazy evaluation on varaible argument
> functions?")
> 
> Daniel Keep wrote:
> 
>> Sadly, I don't think there's any way to fix this.  The problem is
>> that if you've got IFTI (which is what allows you to omit the
>> explicit template instantiation), the arguments can't be very
>> complex.  What you would need is something like this:
>> 
>> void infoF(A...)(lazy DecayStaticArrays!(A) a) { ... }
>> 
>> Where "DecayStaticArrays" turns all statically-sized arrays into
>> dynamically-sized ones: so (char[2u], char[6u]) would become (char[],
>> char[]).
>> 
[...]

LOL

Take a look at my replay to Daniel Keep's post

in short, I just suggested a slightly more general form of the exact same 
idea. 

>
> What do you think?

I'm for it. (clearly)