代数的データ型
https://nowokay.hatenablog.com/entry/2021/10/14/211326
直積型
直和型