でも a.type() で int ではなく protocol が出るのは、単純にコンパイル時に静的ディスパッチでprotocolのメソッドが割り当てられたからですか？