それだとすべての case が同じ型になりませんか？