いわゆるEnum

図の例でいうと値が取りうるパターンはHeavyMetalとPopとHardRockを足した3パターンになるので、直和型と呼ぶ

直積型