Fortunately D has `static foreach`, is what I thought yesterday after reading the article. One aspect I note is that finally the point is not having variadics

Fortunately D has `static foreach`, is what I thought yesterday after reading the article. One aspect I note is that finally the point is not having variadics or not (assuming an expression can represent a type then you can use tuples instead, which is what styx-lang does). The point is that one must have a way to *use* them. The "consume" idiom, while working, is not great as it lead to template instances explosion. Not great but not so terrible as finally `static foreach` can only work with a kind of monomorphization too.