--これらの型はcase式によって分岐することができる