あ、もしかしたら型理論のことか。それなら納得。