これって a の型が実際にはExistentialになっているからっていうやつ？