Haskellの型クラスは，演算の実装は継承できるけど，データ構造の実装は継承できないのかな？ よくあるOO言語ではクラスの継承によってデータ構造も継承できるよね． Haskellの型システムは思ったよりパワーがないなぁと感じたんだけどどうなんだろう．デー…