全ての型を集めた集合は直積や直和の演算に対して閉じてるよ
代数的構造を持ってるね、ってこと？

代数だということを理解すると、何か見通しがよくなったりする？