>>684
ならば予め型ごとに飛び先き決めとけばいいんだね？
関数テーブルだって飛び先決まってるんだから静的に出来るよね？
推論型変数使わなければ良いのかなぁ？