集合論において代数的データ型と等価なものとして直和がある。この集合の各元はタグ（コンストラクタと等価）とそのタグに対応する型のオブジェクト（コンストラクタの引数と等価）で構成される。
を型理論的に表すと次のようになる。
コンストラクタは次のようになる。
代数データ型
来歴・人物.
ニッセイ同和損保
ソーナー
麗人 (沢田研二の曲)
アルカリ三世
アルカリ三世（アルカリさんせい）は、かつて日本に存在したお笑いコンビ。
芸歴・概要.
艦歴.
第二次世界大戦が始まると、ケーニヒスベルクは他の駆逐艦などと共に、北海での機雷敷設に従事した。
二位の尼
池の禅尼
PFLP旅客機同時ハイジャック事件
概要.
ハイジャックが成功し「革命空港」へ強制着陸させられたトランス・ワールド航空機とスイス航空機の機体には、「PFLP」の文字と標語が書き込まれた。
要求と交渉.
人質解放.
その後も国際赤十字委員会のみならず、ヨルダンやスイス、アメリカやイギリスなどの当事国や、PFLPの実質的な「後見人」であるシリアやソビエト連邦政府まで巻き込んだ交渉が行われた。
爆破.
その後.
安全対策.
直接の被害国ではないフランスやスペインでも、空港に金属探知機を備え付けて乗客の武器を搭乗前に摘発するようにした。
ヨルダン内戦勃発.
停戦とPLO追放.
シリアのクーデター成功.
その後アサド空軍司令官はシリア全権を握り大統領に就任し、その後もPLOと対決姿勢を取ったことで、PLOはレバノンへと追いやられることとなっただけでなく、シリアという大きな後ろ盾も失うこととなった。
「黒い九月」.
その後、移転先のレバノンで活動を始めたPLOは、この一連の事件を「黒い九月」（ブラックセプテンバー）と呼び、その最大派閥ファタハが結成した秘密テロ組織のグループ名とした。
ミレア
ミレアHD
ジュリア・オーモンド
来歴.
プライベート.
白木屋火災
焼身自殺
焼身自殺（しょうしんじさつ、）とは、自分の身体を焼くことで自殺することである。しばしば政治的、あるいは倫理的な抗議として特に言論の自由の無い、または制限されている状態下で行われる。
概要.
実行者は、自らの体にガソリン・灯油・軽油など、引火性の高い油を振り掛けてから、引火させる方法を採ることが多い。