「Catyとデカルト分配圏」より： [追記]以下の記述で、間違いと説明不足がありました。とりあえず、「(b=> object {α: A, β: B} | c=> object {α: A, γ: C})」と書いてあったところを「(object {α: A, β: B} | object {α: A, γ: C})」に直しました。これで理…

長男：「おとうさんは、芸能人で誰が好き？」父親：「うーん、芸能人とかあんまり興味ないからなー、思いつかないよ」長男：「尊敬している芸能人とかいないの？」父親：「尊敬？ 特にいないなー。君はいるの？」長男：「そりゃー、高田純次さんだよ」父親：…