2006-12-23 互換と置換について 数学 g:haskell:id:mr_konn:20061223:1166873972 Haskellの方で中途半端に考察してきてしまったのですが、今思えばこっちに書いておいた方が良かったかも。 と言うわけでリンク張っておきます。