Andrei Alexandrescu wrote: > I think conditional templates obviate most, if not all, of the need for > sfinae. There need to be some more steps taken, most importantly > unification of regular functions with template functions. > > Andrei at home Can you expand on the "unification of regular functions with template functions"?