それがExisitentialになる感じです?それとも自動生成のType-erasure?