代数的データ型
型
に対して、足し算や掛け算をする概念
https://nowokay.hatenablog.com/entry/2021/10/14/211326
直積型
直和型