ORTではコンパイラは真の型を知ってるんだけど、利用側に、それをあるプロトコルで定義されたものとしか利用させない（コンパイルエラーにする）ってこと？