↑の表は意味を成してない気がしてきました。

8:30 AM

そもそも、 sum type は直和型というけど和じゃなくて直和（ direct sum ）なんだろうか？ https://ja.wikipedia.org/wiki/%E7%9B%B4%E5%92%8C

8:30 AM

数学的な知識が足りなさすぎてそもそも問に意味があるのかもわからなくなってきた。