つまり部分型を事前に宣言しておかないとダメですね。 (edited)