On Sunday, 11 March 2012 at 03:04:38 UTC, Andrei Alexandrescu wrote: > This analogy is tenuous for D because functions are defined to > return one type, e.g. typeof(fun(args)) is defined. Once we get > into disallowing that for certain functions, we're looking at > major language changes for little benefit. TypeTuple!(ReturnType1, ReturnType2)? David