＞bind1stのようなことか?

すいません。初心者なのでわからないです。
が、もし>>574のようになっていたら、
main(){
int a;
foo(a)A=10;//あるいはtxに直にアクセスできるとしたら、tx::typeとか
}
という実行時に型を生成できるかなと思いまして。