それがバリアント型じゃないのか?