書いた。HOCでTwitterクライアント書いてみた - はてな使ったら負けだと思っている deriving Haskell - haskell参照。ちゃんと動く。

数学の危機の一端をひらいたものとして、ラッセルのパラドックスは中々有名です。リシャールだとかベリーだとかに比べてちょっとややこしいので*1、色々な喩えで説明されることが多いですが、一番ポピュラーなのは市長市のパラドックスだと思います。これは…