haskell - Haskell に共積型の単純な構文がないのはなぜですか?

Question

Haskell の製品タイプは簡単に定義できます。

data Person String String 

2タイプの商品です。2 つのタイプの余積は、

type Shape=Either Circle Rectangle

しかし、製品は 3 つ以上のタイプに簡単に拡張できますが、副産物の場合はそれほど単純ではないようです。この違いの背後にある理論的根拠はありますか、それとも純粋に技術的な理由ですか?

Answer 1