前回: 文字列変換ニューバージョン - kururu_goedel’s diary 型クラス 予告通り、集合論の公理を満たす型クラスを定義していく。 いやー、ハマったハマった。思ったより型クラスのところでは苦労しなかったのだけれども、証明がなかなか通らず通ってもグチャ…