未定義値、あるいは項目の欠損を許すようなリストを歯抜けリスト〈list admitting missing values〉と呼ぶことにしましょう。2つの歯抜けリストのジップ操作を考えると、それはラックス・モノイド関手になります。ラックス・モノイド関手は、プログラミング…