弄れば弄る程バグや仕様の穴にぶつかる

TypeTupleの連結が欲しい。ExpressionTupleの連結も欲しい。
特に後者が無いと今考えてる複数bindの実装が出来ない(再帰でくっつけないといけない)。まぁそもそもExpressionTupleがalias templateにマッチしなくて再帰出来ないのも問題だけど。

これが通ってほしいのにaliasにマッチしない。

template test2(alias s){
  alias s[0] test2;
}

void test(T...)(T tl){
  alias tl tl2;//ok
  assert(test2!(tl)==0);//templateにマッチしない
}

void main(){
  test(0,"a",'a');
}