入れ子の型