>>760
馬鹿だなあ。型の話をしているのに「処理系」とか出てくる時点で、
理論と実装がごっちゃになっている。