ほんとだ。型は決まってるわけだから別にexistentialじゃなくてできるか。