(just an idea) if we say that the parameterslist of a function is a local-defined-and-typed tuple (maybe D should handle function parameters with an tuple-like concept) couldn't we get rid of the (another) variadic function concept and replace it with the variadic template stuff... ciao dennis