SetがFunctorではない理由を延々と説明します。最初これhttp://failex.blogspot.jp/2013/06/fake-theorems-for-free.htmlを訳そうとしましたが、英語力と理解力のなさにより断念し、中途半端な翻訳になるなら、自分なりに書き下そうという結論になりました。…